Re: [sage-devel] Re: Finite fields coercion bug

2016-10-13 Thread David Roe
On Thu, Oct 13, 2016 at 3:16 PM, John Cremona wrote: > Thanks Peter for the explanation. Nevertheless, I'm not sure that the > normal user could have guess that one only gets the clever stuff > (compatible embeddings into the algebraci closure. The docstring GF? > does imply this but again does

Re: [sage-devel] Re: Sage's references: new policy?

2016-09-21 Thread David Roe
Preprints won't have MR numbers. I also find MR numbers less readable. We could just append letters ("a" then "b," etc) if there are collisions. David On Wed, Sep 21, 2016 at 4:38 AM, 'Martin R' via sage-devel < sage-devel@googlegroups.com> wrote: > Why not use the MR number as reference format

Re: [sage-devel] Doc-testing ouptut with dots

2016-07-07 Thread David Roe
On Jul 7, 2016 07:13, "Andrew" wrote: > > Hi! > > How do you doc-test output that starts with ...? The particular output that I want to test is: > > sage: print(CartanType(['A', oo]).ascii_art()) > ...---O---O---O---O---O---O---O---... > -3 -2 -1 0 1 2 3 > You could do sage: print(

[sage-devel] Re: [sagemath-admins] Trac SSH keys

2016-07-05 Thread David Roe
On Jul 5, 2016 12:11, "Erik Bray" wrote: > > Hi all, > > Several of you have had issues updating your SSH keys in Trac since > the server upgrade (or adding new keys for new users). > > (I hope) the issue is resolved now, and I would like to give a brief > post-mortem on the issue: > > - gitolite,

Re: [sage-devel] Re: {trac,git}.sagemath.org downtime Wednesday 6/22

2016-06-24 Thread David Roe
On Fri, Jun 24, 2016 at 12:16 AM, Erik Bray wrote: > On Jun 24, 2016 04:06, "David Roe" wrote: > > > > I just updated git-trac-command and tried "git trac push", and got > > remote: File "/usr/lib/python2.7/xmlrpclib.py", line 792,

Re: [sage-devel] Re: {trac,git}.sagemath.org downtime Wednesday 6/22

2016-06-23 Thread David Roe
I just updated git-trac-command and tried "git trac push", and got remote: Traceback (most recent call last): remote: File "./hooks/post-receive.d/01-trac_branch", line 180, in remote: for number, ticket in trac.ticket_iter(branch): remote: File "./hooks/post-receive.d/01-trac_branch", li

Re: [sage-devel] Re: Finding the right place to edit code

2016-05-13 Thread David Roe
Google for python raw strings. The main difference is how they treat backslashes. On May 13, 2016 09:34, "saad khalid" wrote: > Thanks for the help everyone. I've got it submitted here, hopefully I > followed the procedure properly > > http://trac.sagemath.org/ticket/20595#comment:3 > > Also, sor

Re: [sage-devel] Re: Hash error

2016-04-23 Thread David Roe
There's no precision here: they're exact elements. It should be easier to deal with than some similar problems with fraction fields of multivariate polynomial rings, since we only have to worry about monomials in the denominator. I made some comments on the ticket. David On Sat, Apr 23, 2016 at

Re: [sage-devel] Re: Delete old optional packages

2016-04-21 Thread David Roe
Actually, it looks like this address might be better. David On Thu, Apr 21, 2016 at 2:19 PM, David Roe wrote: > I've CCed Soroosh. I'm not sure which package you were referring to. > David > > On Thu, Apr 21, 2016 at 4:58 AM, mmarco wrote: > >> I have emai

Re: [sage-devel] Re: Delete old optional packages

2016-04-21 Thread David Roe
I've CCed Soroosh. I'm not sure which package you were referring to. David On Thu, Apr 21, 2016 at 4:58 AM, mmarco wrote: > I have emailed the maintainers whose email address I could locate. someone > knows how can I contact Michael Abshoff, Soroosh Yazdani > or Mitesh Patel? > > > El miércole

Re: [sage-devel] Docstring-wide "# optional" markup (#20427)

2016-04-13 Thread David Roe
I think that having an optional Sphinx block is a good idea. Perhaps it could be colored differently in the html documentation (like WARNING blocks are)? When printing on the command line, I think we're just used to the #optional tag. It's unclear to me whether the #optional tag or an OPTIONAL b

Re: [sage-devel] Re: Intel MKL

2016-04-09 Thread David Roe
On Sat, Apr 9, 2016 at 12:33 PM, Ahmed Fasih wrote: > Hi everyone, it may be time to revisit Sage & Intel's high-performance > libraries—Intel's Community License Program launched a few months ago and > gives no-cost, royalty-free licenses for MKL, TBB, IPP, & DAAL: > https://software.intel.com/e

Re: [sage-devel] Re: Bug? indefinite_integral does not accept sage.symbolic.function

2016-04-09 Thread David Roe
On Sat, Apr 9, 2016 at 12:12 PM, Dima Pasechnik wrote: > > > On Saturday, April 9, 2016 at 4:53:50 PM UTC+1, lundy@gmail.com wrote: >> >> I believe I have found a bug, and was not able to find any previous >> report or ticket to have it fixed. >> >> I would expect the indefinite_integral meth

Re: [sage-devel] Re: LaurentPolynomialRing and PolynomialRing behave inconsistently -- Request For Comments

2016-04-09 Thread David Roe
I think that this summary is right, including the explicit conversion that relies on the index in gens(). David On Sat, Apr 9, 2016 at 4:15 AM, Volker Braun wrote: > Let me try to summarize the expected behavior: If there is a coercion of > the base rings, then there should be a coercion to the

Re: [sage-devel] Pythonics

2016-03-31 Thread David Roe
On Thu, Mar 31, 2016 at 7:11 PM, Justin C. Walker wrote: > > On Mar 31, 2016, at 15:37 , Vincent Delecroix wrote: > > > On 31/03/16 18:22, Johannes wrote: > >> On 31.03.2016 23:08, Justin C. Walker wrote: > >>> 2. Is there a way to tell, when hasattr(X, "foo") returns True, > >>> whether "X.foo"

Re: [sage-devel] Installation error: "Error: Source directory doesn't contain a conf.py file." & "Unable to fetch..."

2016-03-30 Thread David Roe
I'm not sure what's going on with the docbuild, but FYI you should be able to run Sage (documentation is built after Sage is built). What happens when you run /mnt/zeta/sage-7.1/sage? David On Wed, Mar 30, 2016 at 8:20 PM, miguel wrote: > Hello, > > I am trying to compile from source. I am run

Re: [sage-devel] Re: Sage 7.1 build fails on patch

2016-03-22 Thread David Roe
On Tue, Mar 22, 2016 at 10:13 PM, Dima Pasechnik wrote: > we now decompress tarfiles with python > > https://docs.python.org/2/library/tarfile.html > > and all the features of it are only in Python 2.7. Hmm... > This seems like a bad idea; there are lots of systems that won't have Python 2.7. Da

Re: [sage-devel] Relocating Sage

2016-03-20 Thread David Roe
On Fri, Mar 18, 2016 at 2:39 PM, Dima Pasechnik wrote: > > > On Friday, March 18, 2016 at 5:06:59 PM UTC, David Roe wrote: >> >> >> >> On Fri, Mar 18, 2016 at 12:55 PM, Dima Pasechnik >> wrote: >> >>> >>> >>> On Friday, M

Re: [sage-devel] Relocating Sage

2016-03-19 Thread David Roe
On Fri, Mar 18, 2016 at 11:14 AM, William Stein wrote: > On Fri, Mar 18, 2016 at 8:11 AM, Volker Braun > wrote: > > On Friday, March 18, 2016 at 4:06:04 PM UTC+1, William wrote: > >> > >> > Also, your use case is a bit weird; Parallel installations on the same > >> > server? > >> > >> It's David

[sage-devel] Relocating Sage

2016-03-19 Thread David Roe
Here's a use case where the recent changes to relocatability are really annoying. I'd like 6 sage installs in an SMC project so that different groups at Sage Days 71 can work independently. So I tried building a copy from source and then copying it five times. Unfortunately, the relocation scrip

Re: [sage-devel] Relocating Sage

2016-03-18 Thread David Roe
nd using >> > binaries) and they were SOL because their system bash was linked >> against the >> > wrong version of some library. If you can't compile it you surely can't >> use >> > it 6 times. >> >> David Roe had no trouble compiling Sage

Re: [sage-devel] zero division

2016-03-09 Thread David Roe
The behavior for floating point is governed by IEEE standards, which dictate +infinity in this case. So I think this is not a bug. On Mar 9, 2016 10:13, "Vincent Delecroix" <20100.delecr...@gmail.com> wrote: > Hello, > > Compare > > > sage: 1 / 0 > Traceback (most recent call last): > ... >

Re: [sage-devel] Turan Graph Ticket

2016-03-03 Thread David Roe
Have you used git before? Have you made a branch yet for your code? If you have specific questions, you're welcome to ask them here; it may help others! David On Thu, Mar 3, 2016 at 5:32 PM, Marco Cognetta wrote: > Hi all, > > I created a ticket to add Turan Graphs ( > https://en.wikipedia.org

Re: [sage-devel] Re: subs deprecation -- what the heck?!

2016-03-01 Thread David Roe
On Tue, Mar 1, 2016 at 11:43 AM, Nils Bruin wrote: > On Tuesday, March 1, 2016 at 8:15:56 AM UTC-8, William wrote: >> >> -1 to telling users that a syntax is deprecated and will be removed, but >> planning to never remove it. >> >> +1 to executing the removal. > > We can't let a lottery like this

Re: [sage-devel] quotient rings, mpolynomial rings, and monomial_divides

2016-03-01 Thread David Roe
to implement the monomial_divides function in that class? I > think the current function just checks the exponents and it's lack is > preventing the groebner basis from running. > > On Monday, February 29, 2016 at 2:25:45 PM UTC-6, David Roe wrote: >> >> >> >

Re: [sage-devel] quotient rings, mpolynomial rings, and monomial_divides

2016-02-29 Thread David Roe
On Mon, Feb 29, 2016 at 9:19 AM, Ben Hutz wrote: > I was exploring some quotient ring operations and came across the > following: > > {{{ > R.=QQ[] > K.=NumberField(y^3 + 2*y - 2401) > k.=K.quo(K.prime_factors(7)[1]) > R.=PolynomialRing(k) > R.monomial_divides(y,x^3*y) > Error > }}} > > {{{ > R.=

Re: [sage-devel] Vote for making "meataxe" optional

2016-02-28 Thread David Roe
On Sun, Feb 28, 2016 at 5:11 AM, mmarco wrote: > I definitely vote for making it optional, and try to make it standard soon. > Agreed. I'm also interested in the modular representation part of meataxe. Is that functionality exposed in the current package or will that require more Cython wrappe

Re: [sage-devel] Re: Bye

2016-02-22 Thread David Roe
On Mon, Feb 22, 2016 at 9:28 PM, kcrisman wrote: > I'm not part of this community, yet, may be never, but from my perspective >> You are welcome "back" any time. >> > > +1 > > Though in open source development (at least in open development projects > like this one) meaning that sometimes people w

Re: [sage-devel] Coverage and shared doctests...

2016-02-11 Thread David Roe
On Thu, Feb 11, 2016 at 1:59 PM, Florent Hivert wrote: > On Thu, Feb 11, 2016 at 01:07:06PM -0500, David Roe wrote: > > One option would be to use underscore methods to make the coverage script > > happy. > > ??? Do you mean that underscore method don't need to be test

Re: [sage-devel] Coverage and shared doctests...

2016-02-11 Thread David Roe
One option would be to use underscore methods to make the coverage script happy. I'm not sure if you'd be able to solve all of your problem like this though. You might also look into generalizing the 32-bit and 64-bit flags in sage/doctest/sources.py (search for "bit") to incorporate different do

Re: [sage-devel] is_prime failing silently

2016-02-07 Thread David Roe
On Sun, Feb 7, 2016 at 9:16 AM, Travis Scrimshaw wrote: > > > On Sunday, February 7, 2016 at 7:54:03 AM UTC-6, Jeroen Demeyer wrote: >> >> On 2016-02-07 14:50, Travis Scrimshaw wrote: >> > So then what do you think about the current behavior, where if there >> > is no (implemented) is_prime(), we

Re: [sage-nt] Re: [sage-devel] How are number field elements sorted?

2016-02-06 Thread David Roe
On Sat, Feb 6, 2016 at 11:19 AM, John Cremona wrote: > Thanks for the replies and suggestions. I am not sure what is the > best thing to do. I can see three different needs here: > > (1) Any deterministic total order for python sorting to be possible > and consistent. For example, a function w

Re: [sage-devel] is_prime failing silently

2016-02-05 Thread David Roe
On Fri, Feb 5, 2016 at 1:20 PM, Vincent Delecroix <20100.delecr...@gmail.com > wrote: > Hello, > > Indeed, the definition given in the documentation of "is_prime" does not > coincide with what the method is doing. > > The mathematical definition of prime *depends* on the ring. An element of > a ri

Re: [sage-devel] Re: Matrix unicode output

2016-01-25 Thread David Roe
On Mon, Jan 25, 2016 at 8:42 PM, Samuel Lelievre wrote: > When starting the Sage REPL, we currently display the following advice: > > Type "notebook()" for the browser-based notebook interface. > Type "help()" for help. > > We could add a few more hints that answer frequently asked questi

Re: [sage-devel] Merging sage-7.0 into existing branch

2016-01-24 Thread David Roe
Thanks; that worked. David On Sun, Jan 24, 2016 at 4:10 AM, Jeroen Demeyer wrote: > On 2016-01-23 22:34, David Roe wrote: > >> python -u setup.py install >> >> Traceback (most recent call last): >

[sage-devel] Re: Merging sage-7.0 into existing branch

2016-01-23 Thread David Roe
Good idea, but it doesn't fix the problem. I'm still getting the same result. David On Sat, Jan 23, 2016 at 4:49 PM, Travis Scrimshaw wrote: > DId you try ``make distclean && make``? > > Best, > Travis > > > > On Saturday, January 23, 2016 at 3:34:56 P

[sage-devel] Merging sage-7.0 into existing branch

2016-01-23 Thread David Roe
I'm trying to merge sage-7.0 into http://trac.sagemath.org/ticket/812. I've built a fresh sage-7.0 on SMC then did the following (after a bit of fiddling around with other tickets) git trac checkout 812 git merge master make It ends up with an error that looks like Building interpreters for fast_

Re: [sage-devel] Re: The sage.rings.finite_rings.constructor module

2016-01-22 Thread David Roe
I raised some objections on the ticket. David On Fri, Jan 22, 2016 at 7:38 AM, Nathann Cohen wrote: > The 'constructor' file is being renamed to 'finite_field_constructor' > in the following ticket: > > http://trac.sagemath.org/ticket/19941 > > Nathann > > On 22 January 2016 at 12:13, Nathan

Re: [sage-devel] 0^0 in unramified extensions of Zp

2016-01-22 Thread David Roe
On Fri, Jan 22, 2016 at 10:15 AM, srozensz wrote: > sage: A. = Zq(4) > sage: A(0)^0 > O(2^0) Thanks. This is now http://trac.sagemath.org/ticket/19943 David -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and s

Re: [sage-devel] GF(16,'x') when we do not care about the 'x'

2016-01-20 Thread David Roe
On Wed, Jan 20, 2016 at 7:47 PM, Nils Bruin wrote: > On Wednesday, January 20, 2016 at 3:22:54 PM UTC-8, Dima Pasechnik wrote: >> >> >> to me, two fields that are specified by the same irreducible polynomial >> over the same prime subfield ought to be identical. >> it'd be much better design, no

Re: [sage-devel] vote for making nauty a standard package (Re: About license of nauty and poset generator)

2016-01-20 Thread David Roe
On Wed, Jan 20, 2016 at 4:12 PM, Dima Pasechnik wrote: > Here is a ticket with the new nauty release, and a proposal to make it a > standard package. > http://trac.sagemath.org/ticket/19919 > > Please vote (it is already an optional package for long time, I think), > and there are no more formal

Re: [sage-devel] Updating Sagemath's README on Github [help] [newbie]

2016-01-07 Thread David Roe
nk :) > I requested a trac account but haven't yet received any confirmation > e-mail. Should I fire up a pull request ? > If yes, to which branch - master or develop? > If no, I'll open a ticket as you instruct and wait for your as well as > fellow developers' suggestio

Re: [sage-devel] Finite State Machine Improvements

2016-01-03 Thread David Roe
On Sat, Jan 2, 2016 at 10:00 PM, Marco Cognetta wrote: > Hi, > > I would like to implement some of the closure operations that are missing > from the finite state machine code. Since there are several that are not > implemented (intersection, difference, reversal, homomorphism, and inverse > homo

Re: [sage-devel] New RC 4c-pvp, 4f-php, A-PVP 4-CMC, 3-CMC, dibutylone,4mmc, Mdpv, Mdma,a-pvp, Mephedrone Skype: drksmithn

2016-01-02 Thread David Roe
Sorry, everyone. The message has been deleted (though not from your inboxes), and the sender doesn't have permission to post again. David On Sat, Jan 2, 2016 at 2:11 PM, skype: wrote: > Buy Good Samples of MDMA - BK-MDMA, METHYLONE , BUTYLONE , HEROINE , > COCAINE, POWDER , KITAMINE ,MDPV, APVP

Re: [sage-devel] Re: Jupyter notebook by default?

2016-01-01 Thread David Roe
On Fri, Jan 1, 2016 at 7:01 AM, kcrisman wrote: > > > And we are not removing it for all the legacy reasons that you listed. >> This thread is about what format new notebooks are supposed to be. Anybody >> who prefers SageNB can still use SageNB >> >> > But how easy will that be? It already soun

Re: [sage-devel] Re: Inverting Integers gives different behaviour than in Python

2015-12-21 Thread David Roe
On Mon, Dec 21, 2015 at 8:53 AM, Volker Braun wrote: > On Monday, December 21, 2015 at 5:43:29 PM UTC+1, John Cremona wrote: >> >> Of course it does but no mathematician would ever write that in notation >> as ~x. >> > > Its still a minor optimization (avoids coercion in 1/x), so I'm not so > sur

Re: [sage-devel] Re: Do we really need Element, RingElement, AdditiveGroupElement, ...?

2015-11-23 Thread David Roe
On Mon, Nov 23, 2015 at 8:24 AM, Eric Gourgoulhon wrote: > Hi, > > Le lundi 23 novembre 2015 10:55:40 UTC+1, Jeroen Demeyer a écrit : >> >> Of course, you could argue that Element >> should not have __add__ and __mul__ (since not all elements can be added >> or multiplied). But it doesn't really

Re: [sage-devel] Exception with parameters

2015-11-12 Thread David Roe
On Thu, Nov 12, 2015 at 3:13 PM, Jori Mäntysalo wrote: On Thu, 12 Nov 2015, Daniel Krenn wrote: > > True. Does this mean that you want to use x and y in the calling >> function (e.g. catch the exception there and raise a different exception >> explaining what is going on using x and y)? >> > > Ex

Re: [sage-devel] Exception with parameters

2015-11-12 Thread David Roe
On Thu, Nov 12, 2015 at 9:34 AM, Daniel Krenn wrote: > On 2015-11-12 08:45, Jori Mäntysalo wrote: > > LatticePoset({'a':['b', 'c'], 'b':['d', 'e'], 'c':['d', 'e'], > > 'd':['f'], 'e':['f']}) > > > > returns "ValueError: Not a lattice." I would like to see for example > > "Not a lattice: no meet f

Re: [sage-devel] Exceptions format; keyword 'implementation'

2015-11-07 Thread David Roe
On Sat, Nov 7, 2015 at 3:24 PM, Nathann Cohen wrote: > We should follow Python; this has an added benefit of typically keeping >> error messages more concise. >> > > One very common occurrence of a long exception message are the > PackageNotFoundError which happen when one calls a function which

Re: [sage-devel] Re: Manifold equality and UniqueRepresentation

2015-11-07 Thread David Roe
On Sat, Nov 7, 2015 at 6:28 PM, Travis Scrimshaw wrote: > Hey Simon, > > >> >I would then be advocating for using UniqueRepresentation if that >> was >> >> > the only issue. >> >> >> >> It really depends whether in comparing manifolds you would prefer to >> do >> >> *some* >> >> heuristics to

Re: [sage-devel] What should be the include_dirs for a cython file using sig_check() outside of the sage library?

2015-11-07 Thread David Roe
> > In any case, it's only a warning. The Sage library has the same problem > > but we compile with -w to ignore warnings. > > Ok I see. So the -w is an option to which command exactly? Not the same as > the one I use I guess (installing an spkg with sage -p). > It's a flag for gcc. David -- You

Re: [sage-devel] should "foo?" print TESTS: blocks or omit them?

2015-11-06 Thread David Roe
> > [ X] 'foo?' should NOT display TESTS blocks. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group,

Re: [sage-devel] bug in cuspidal subspace of ModularSymbols with character over p-adic field

2015-10-20 Thread David Roe
Thanks for the example! I'm hoping to work on p-adic linear algebra over the next few months, and having examples of failures is always useful to test improvements. But that's a pretty impressive discrepancy, between 1345499989865120018402 and 0. I don't have time to look into it now, but I woul

Re: [sage-devel] Re: Methods for polyhedron are ring dependant?

2015-10-14 Thread David Roe
On Wed, Oct 14, 2015 at 4:26 AM, Volker Braun wrote: > On Wednesday, October 14, 2015 at 8:27:44 AM UTC+2, jplab wrote: >> >> -it would be a good idea to warn the user if some results may be wrong >> due to the used ring. Perhaps this deserves a ticket on its own. >> > > I think thats a bit silly

Re: [sage-devel] Re: el capitan statement

2015-10-07 Thread David Roe
On Wed, Oct 7, 2015 at 2:06 PM, Dima Pasechnik wrote: > On Wednesday, 7 October 2015 11:00:14 UTC-7, Jeroen Demeyer wrote: >> >> On 2015-10-07 19:31, David Roe wrote: >> > In OS X 10.11, Apple changed the operating system to no longer allow >> > modification of

Re: [sage-devel] Re: el capitan statement

2015-10-07 Thread David Roe
Wed, Oct 7, 2015 at 2:00 PM, Jeroen Demeyer wrote: > On 2015-10-07 19:31, David Roe wrote: > >> In OS X 10.11, Apple changed the operating system to no longer allow >> modification of certain system folders, even when logged in as root. >> > > Why would Sage need mod

Re: [sage-devel] Re: el capitan statement

2015-10-07 Thread David Roe
tection may allow you to build Sage, but it also disables a security feature of your operating system. David On Wed, Oct 7, 2015 at 12:52 PM, William Stein wrote: > > > On Wednesday, October 7, 2015, David Roe wrote: > >> Do you want to mention the possibility of disabling sy

Re: [sage-devel] el capitan statement

2015-10-07 Thread David Roe
Do you want to mention the possibility of disabling system integrity protection, or are you purposefully avoiding that option? David On Wed, Oct 7, 2015 at 12:38 PM, William Stein wrote: > Hi, > > We need to post a statement on the Sagemath.org website about the El > Capitan os x 10.11 situation

Re: [sage-devel] Re: Parallel computing

2015-10-04 Thread David Roe
On Mon, Oct 5, 2015 at 2:29 PM, Jori Mäntysalo wrote: > Just a stupid side-question: > > On Sun, 4 Oct 2015, Victor Shoup wrote: > > Also, now that NTL is threadsafe, I'm looking at making some of the >> low-level routines thread enhanced. >> > > For up to 4 threads, I get close to linear speedup

Re: [sage-devel] Sage in Mac OSX 11.11 (El Capitan)

2015-10-02 Thread David Roe
My impression is that it's a new security feature for 10.11, preventing any programs (even ones that have root privileges) from writing to certain system folders. So as long as you don't run into any such malware, disabling rootless should have no effect on you. :-) David On Fri, Oct 2, 2015 at

Re: [sage-devel] Re: *.math.washington.edu hardware resources

2015-09-17 Thread David Roe
On Thu, Sep 17, 2015 at 6:05 PM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > > > On 17/09/15 17:10, William Stein wrote: >> >> On Thu, Sep 17, 2015 at 1:04 PM, kcrisman wrote: > it would be useful to revive the discussion of a > true SageMath Foundation, separate from

Re: [sage-devel] Default precision for floats

2015-09-12 Thread David Roe
One approach would be to change "RealNumber('%s')" % num on line 739 of sage.repl.preparse to "RealNumber('%s',min_prec=1000)" % num. David On Sat, Sep 12, 2015 at 12:24 PM, Thierry Dumont wrote: > I have a program with a lot of floating point constants/variables (this is a > translation of a C++

Re: [sage-devel] Why am I getting tons of old sage-trac emails?

2015-09-06 Thread David Roe
Frédéric Chapoton was removing tab characters from the description field on lots of old tickets. He has since stopped, upon request. There's a recent thread about an alternate solution to the problem he was trying to solve. David On Mon, Sep 7, 2015 at 12:56 AM, Dr. David Kirkby (Kirkby Microwave

Re: [sage-devel] Integer from mpz_t

2015-08-19 Thread David Roe
Since you have an mpz_t, presumably you're writing in Cython. Then you can do something like the following. cdef mpz_t input cdef Integer output = PY_NEW(Integer) output.set_from_mpz(input) Or something like mpz_set(output.value, input). David On Wed, Aug 19, 2015 at 2:19 AM, Ralf Stephan wro

Re: [sage-devel] matrix.subs()

2015-08-17 Thread David Roe
On Sat, Aug 15, 2015 at 3:00 AM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > Hello, > > As mentioned by Søren on ask [1] the subs method of matrices behave > differently than the subs method on coefficients > > sage: R. = PolynomialRing(ZZ) > sage: m = matrix(R, [[x]]) > > sage: x.

Re: [sage-devel] PolynomialQuotientRing_generic not a QuotientRing_generic

2015-08-11 Thread David Roe
ynomial ring, a polynomial ring happens to be > univariate, a field happens to have characteristic 2). Object orientation > could be useful in preventing this from happening but maybe so can Sage's > category framework?) > > > On 11.08.2015 18:42, David Roe wrote: >> >>

Re: [sage-devel] PolynomialQuotientRing_generic not a QuotientRing_generic

2015-08-11 Thread David Roe
We used to try to describe mathematical properties through Python inheritance, but have since shifted to using Sage's category framework. So I don't think that there's a particularly strong reason to choose either CommutativeRing or QuotientRing_generic to inherit from. Of course, as a Python cl

Re: [sage-devel] Re: Log behavior

2015-07-30 Thread David Roe
> Moreover, do we really want > > sage: log(QQ(8), 2).parent() > Integer Ring I would say yes. For rational x which is not a power of 2, log(x, 2) will end up in the symbolic ring. But we should avoid this if possible, and the only logs which are rational will actually be integral, so we might a

Re: [sage-devel] Log behavior

2015-07-24 Thread David Roe
It's because Integer(8) has a log method, while int(8) does not. Line 322-324 of sage/functions/log.py are try: return args[0].log(base) except (AttributeError, TypeError): David On Fri, Jul 24, 2015 at 2:39 PM, Jeremy Martin wrote: > The following looks weird: > > sage: log(int(8)

Re: [sage-devel] ./configure && make for Sage

2015-07-24 Thread David Roe
On Fri, Jul 24, 2015 at 10:02 AM, Jeroen Demeyer wrote: > Hello, > > usually, autotools-based packages are built using > > ./configure > make > > which for Sage this has historically been just "make". However, I think that > Sage should move to the "./configure && make" model, for various reasons:

Re: [sage-devel] Re: is_zero proof survey

2015-07-17 Thread David Roe
It depends on exactly what you mean by undecidable, but this is the definition of an inexact ring in some sense. So, p-adics, power series rings, reals David On Fri, Jul 17, 2015 at 1:34 AM, Volker Braun wrote: > On Friday, July 17, 2015 at 10:25:29 AM UTC+2, Ralf Stephan wrote: >> >> 1. Can

Re: [sage-devel] Re: a sage bug

2015-07-12 Thread David Roe
> By the way, does anybody know what the deal is with: "Please forgive > me to send it to you for I am in China and have a problem to access > Google groups." > > Do most people in China really not have access to Google groups? If > so, that's a very good reason for us to consider at least some so

Re: [sage-devel] Re: matrix constructor signature clash

2015-06-19 Thread David Roe
Another option might be to force certain construction paths to use keyword arguments. For example, matrix(4,4,scalar = x+y) matrix(4,4,iterator = x+y) David On Fri, Jun 19, 2015 at 11:03 AM, Nils Bruin wrote: > On Friday, June 19, 2015 at 9:10:41 AM UTC-7, Darij Grinberg wrote: >> >> > Unfortun

Re: [sage-devel] Map, Morphism and PoorManMap

2015-06-15 Thread David Roe
On Mon, Jun 15, 2015 at 12:07 AM, 'Martin R' via sage-devel < sage-devel@googlegroups.com> wrote: > Hi there! > > I would like to understand the (intended) purpose of the three classes > Map, Morphism and PoorManMap. > > What I know so far: > > * Morphism inherits from Map, and provides a few more

Re: [sage-devel] Re: parents and elements and categories

2015-06-15 Thread David Roe
00:11:02 UTC+2 schrieb David Roe: >> >> >> >> On Sun, Jun 14, 2015 at 9:43 AM, 'Martin R' via sage-devel < >> sage-...@googlegroups.com> wrote: >> >>> I have now made a minimal non-working example, using one approach that >>> would

Re: [sage-devel] Re: parents and elements and categories

2015-06-14 Thread David Roe
On Sun, Jun 14, 2015 at 9:43 AM, 'Martin R' via sage-devel < sage-devel@googlegroups.com> wrote: > I have now made a minimal non-working example, using one approach that > would look sensibel to me. > > It fails doing the assignment self._codomain = C in Map.__init__, which is > something I do not

Re: [sage-devel] Using hidden attributes in methods

2015-06-04 Thread David Roe
I would say that it's fine, especially in a subclass. David On Thu, Jun 4, 2015 at 9:23 AM, Bruno Grenet wrote: > Dear all, > > Many classes in SageMath (most of them? all of them? I don't know...) have > their attributes hidden by a leading `__`. Yet in Python hidden attributes > are never re

Re: [sage-devel] What is the parent() of a vector from a subspace?

2015-06-03 Thread David Roe
On Wed, Jun 3, 2015 at 2:24 PM, Johan S. R. Nielsen wrote: > What is the sensible notion of parent() for a vector that I drew out of a > vector subspace? > For instance, what should be printed by the following lines? > > VS = (QQ^3).subspace([ (1, 1 ,1) ]) > v = VS.an_element() > print v.parent()

Re: [sage-devel] trouble with error message during doctest

2015-05-26 Thread David Roe
Not a complete answer, but it's coming from matching the regular expression re.compile(r"^\s*doctest:[0-9]") See line 257 of sage/doctest/sources.py David On Tue, May 26, 2015 at 7:11 PM, David Perkinson wrote: > Could someone help me with the following error message? I am making a lot > of rev

Re: [sage-devel] CategoryObject vs. Parent

2015-05-12 Thread David Roe
s have Elements, this is also the root of operations that > > deal with coercion (arithmetic between elements of unequal Parents). > > Some functions like base_ring are used for coercion, though arguments > > could be made that it could be moved elsewhere and called dynamically > > if

Re: [sage-devel] Re: ipython

2015-05-10 Thread David Roe
On a related note, I get a similar error from within Sage. When I try to create a free Z-module, Sage gives me an ImportError for core.numeric (traceback included below). With this thread in mind, I tried reinstalling ipython, but `make build` fails as well with a similar import error. sage: M =

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread David Roe
Parent should represent an object in a category that has a forgetful functor to sets; CategoryObject an object in an arbitrary category. I have no objection to moving the generator and name code to Parent. David On Tue, May 5, 2015 at 4:41 AM, Jeroen Demeyer wrote: > Hello, > > what are the typ

Re: [sage-devel] Re: Factoring p-adic polynomials

2015-04-29 Thread David Roe
You're right, thanks. David On Wed, Apr 29, 2015 at 6:11 AM, Jeroen Demeyer wrote: > There is no problem with reducible polynomials, only with non-squarefree > polynomials. The correct statement is: > > If your actual polynomial lies in the squarefree locus, it is possible to > increase precisio

Re: [sage-devel] Re: Factoring p-adic polynomials

2015-04-28 Thread David Roe
See http://trac.sagemath.org/ticket/15422. Jeroen and I had a disagreement on what to do in this case, and ended up deciding that we should leave it as an ArithmeticError for now, pending more work on factoring. Brian Sinclair has a patch in progress at http://trac.sagemath.org/ticket/12561 imple

Re: [sage-devel] Random matrices that already are there

2015-04-25 Thread David Roe
On the Sage side, it's in sage/groups/libgap_mixin.py, and just calls G.gap().Random(). I'm not sure where the documentation or source code is on the Gap side. David On Fri, Apr 24, 2015 at 9:27 AM, Jori Mäntysalo wrote: > For some time I wonder how to generate random matrices of Zmod(n). But >

Re: [sage-devel] Re: matrices: matrix space vs matrix group

2015-04-19 Thread David Roe
On Sun, Apr 19, 2015 at 10:18 AM, Volker Braun wrote: > I agree, coercion G -> M is probably the right thing to do here. > +1 > On Sunday, April 19, 2015 at 7:47:11 AM UTC-4, vdelecroix wrote: >> >> Hello, >> >> I really do not like >> >> sage: M = MatrixSpace(QQ,3) >> sage: G = SL(3, QQ) >> sa

Re: [sage-devel] PyCon spritns tomorrow

2015-04-12 Thread David Roe
It might be nice to have some sprint ideas that could be accessible to people not in math. http://trac.sagemath.org/ticket/12720 is something that I haven't had time to work on recently and doesn't involve any math. I'll be around at the sprints tomorrow in case someone has an interest. David On

Re: [sage-devel] Re: Re: Python vs Cython parents, and element constructors

2015-02-12 Thread David Roe
On Wed, Feb 11, 2015 at 10:31 AM, Marc Mezzarobba wrote: > (And then there is the situation where the parent does store values that > you want to access from C or Cython code without paying the cost of a > Python attribute access, but then I see no other option than making the > parent a Cython c

Re: [sage-devel] inherit group from monoid

2015-01-12 Thread David Roe
This is a circular import error. If you look at the chain of imports, you'll see that earlier you're in the file "sage/rings/all.py," and the error occurs when you later try to import sage.rings.all. A brief glance at your code doesn't reveal the cause of the problem for me, though it could be re

Re: [sage-devel] reducing upstream tarballs in a reproducible way

2015-01-12 Thread David Roe
I'm on OS X 10.9.2, Macbook Pro, tar --version returns bsdtar 2.8.3 - libarchive 2.8.3 For me, your last line resulted in: tar: Option --mtime=1970-01-01 01:00 is not supported David On Mon, Jan 12, 2015 at 5:59 AM, Thierry wrote: > Hi, > > it is advised to distribute unmodified upstream tarba

Re: [sage-devel] discovering coercions (related to groups and cartesian products)

2015-01-02 Thread David Roe
Take a look at sage/categories/pushout.py. You will need to define construction() methods on both A and B, which return pairs (F_A, X_A) and (F_B, X_B), where the F are ConstructionFunctors with F_A(X_A) = A and F_B(X_B) = B. You then need to tell Sage how to merge F_A and F_B. See pushout.py fo

Re: [sage-devel] Re: Checking whether a Parent models the real field

2014-12-20 Thread David Roe
There are also p-adic fields and others (function fields for example). I don't think K(-1).is_square() is a good idea David On Fri, Dec 19, 2014 at 5:43 AM, wrote: > On Friday, December 19, 2014 10:25:26 AM UTC+1, John Cremona wrote: >> >> It's quite possible that both of those were written

Re: [sage-devel] sorting doctests

2014-12-17 Thread David Roe
No, but that's a good idea. The functions you should look at are filter_sources and sort_sources in sage.doctest.control. For adding options to the parser for sage -t, see SAGE_LOCAL/bin/sage-runtests. David On Wed, Dec 17, 2014 at 6:33 AM, john_perry_usm wrote: > > hello! > > I can see why some

Re: [sage-devel] Confusing documentation in element.pyx

2014-12-15 Thread David Roe
The difference is in how cpdef functions interact with Cython vs Python classes. If you want to override a cpdef method in a *Python* subclass then you must use def (of course). But in a *Cython* subclass, you must use cpdef. If you accidentally use def instead in a Cython class then it doesn't

Re: [sage-devel] abs(matrix)

2014-12-04 Thread David Roe
On Thu, Dec 4, 2014 at 2:13 AM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > 2014-12-04 9:32 UTC+01:00, David Roe : >>> abs(matrix) is currently returning the determinant (and this goes back >>> to the early implementation in 2006!). If anybody contests the fac

Re: [sage-devel] Re: abs(matrix)

2014-12-04 Thread David Roe
On Thu, Dec 4, 2014 at 2:04 AM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > Hi Simon, > > 2014-12-04 9:54 UTC+01:00, Simon King : > (posted on sage-support) >> Hi Vincent, >> >> On 2014-12-04, Vincent Delecroix <20100.delecr...@gmail.com> wrote: >>> sage: M = matrix(RR, [[-1]]) >>> sage:

Re: [sage-devel] abs(matrix)

2014-12-04 Thread David Roe
> abs(matrix) is currently returning the determinant (and this goes back > to the early implementation in 2006!). If anybody contests the fact > that it should return the matrix whose entries are the absolute value > of the initial matrix, please tell me. I don't think that it should be the matrix

Re: [sage-devel] When/by who/how was the "code of conduct" initiated ?

2014-11-25 Thread David Roe
d fiat David > > John > > > On Tuesday, November 25, 2014 7:14:21 PM UTC-8, David Roe wrote: >> >> I think that most people are ignoring the question because they don't >> know the answer. The only person who can say for sure would be >> Volker, a

Re: [sage-devel] When/by who/how was the "code of conduct" initiated ?

2014-11-25 Thread David Roe
I think that most people are ignoring the question because they don't know the answer. The only person who can say for sure would be Volker, and I don't know why he hasn't responded. Personally, I wouldn't be surprised if it was just Volker, not a larger group of people. I don't think there's a

<    1   2   3   4   5   6   7   8   9   10   >