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

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] Re: subs deprecation -- what the heck?!

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] Turan Graph Ticket

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] zero division

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] Relocating Sage

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

[sage-devel] Relocating Sage

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

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

Re: [sage-devel] Relocating Sage

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] Re: Sage 7.1 build fails on patch

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] Installation error: "Error: Source directory doesn't contain a conf.py file." & "Unable to fetch..."

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] Pythonics

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] Re: LaurentPolynomialRing and PolynomialRing behave inconsistently -- Request For Comments

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] Re: Bug? indefinite_integral does not accept sage.symbolic.function

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: Intel MKL

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] Docstring-wide "# optional" markup (#20427)

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: Delete old optional packages

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] Re: Delete old optional packages

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: Hash error

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: Finding the right place to edit code

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: {trac,git}.sagemath.org downtime Wednesday 6/22

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: {trac,git}.sagemath.org downtime Wednesday 6/22

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,

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

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] Doc-testing ouptut with dots

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] Size of Sage

Sage has recently passed 1,000,000 lines of code. I thought people might be interested in how Sage has changed in the last six years. The following compares Sage 4.8.alpha5 [1] with a late beta of Sage 8.0. Directory 20112017Change server 12093 1 -12092 ma

Re: [sage-devel] Calculation Error

This is not a bug. If you look at the documentation for Integer.__pow__, you'll see "For consistency with Python and MPFR, 0^0 is defined to be 1 in Sage." David On Fri, Aug 25, 2017 at 3:35 PM, wrote: > I followed the link of Sagecell website , > I typed the fol

Re: [sage-devel] semantic of equality for Graph/Digraph

I would say this is a bug David On Mon, Aug 28, 2017 at 9:25 PM, Vincent Delecroix < 20100.delecr...@gmail.com> wrote: > Hi, > > I found the following curious > > sage: G = Graph([(0,3),(1,3),(2,3)]) > sage: H = G.copy() > sage: G == H > True > sage: H.allow_loops(True) > sage: G == H > False

Re: [sage-devel] RFC: Draft blog post on Sage for Windows

Looks good! Here are a few suggestions It might be worth adding some reasons that a VM is onerous (having to use an unfamiliar OS, difficulties with file system access and networking) You say "Sage Math Console" but the picture just says "Sage Math 8.0". I assume that the {:class="img-re

Re: [sage-devel] Re: doctests: non-sorted output

Given the transition to Python 3, I don't think we should directly compare the elements in a set (though perhaps an exception should be made if they all have the same parent). Comparing their string representations seems better. If we do sort the string representation of sets, we can reduce surpr

Re: [sage-devel] Unable to compile 8.0.rc2 on mac

I have a Mac with a Skylake processor and have also observed this problem. I've been following this discussion a bit, but have recently been mostly developing Sage on a server instead David On Mon, Sep 4, 2017 at 6:16 AM, 'Bill Hart' via sage-devel < sage-devel@googlegroups.com> wrote: > Reim

Re: [sage-devel] _richcmp_ versus __eq__ for scheme points

The reason that a==0 returns false is that there is no coercion map from QQ to P: sage: P.has_coerce_map_from(QQ) False I'm not convinced that there should be a coercion, it's pretty rare that a scheme has a natural map from its base ring. However, it seems like there's also a problem hiding here

Re: [sage-devel] _richcmp_ versus __eq__ for scheme points

ving coercions just for those two, for dynamics for example? David On Thursday, September 7, 2017 at 12:17:57 PM UTC-5, David Roe wrote: >> >> The reason that a==0 returns false is that there is no coercion map from >> QQ to P: >> >> sage: P.has_coerce_map_from(QQ) &

Re: [sage-devel] _richcmp_ versus __eq__ for scheme points

conversion* (where you specify the parent explicitly) and *coercion* (which happens implicitly, like in the equality test you're making above). Are you trying to add coercions, just for A^1 and P^1? Or something more? David > On Thursday, September 7, 2017 at 12:53:05 PM UTC-5, David Roe

Re: [sage-devel] _richcmp_ versus __eq__ for scheme points

On Fri, Sep 8, 2017 at 11:54 AM, Ben Hutz wrote: > Adding coercion for scheme points is now #23805. This just address adding > coercion through _coerce_map_from_ and does *not* allow P(0) == 0. This > ticket does not address P(0) itself. > Cool; I've added some comments there. Since the conse

[sage-devel] Online Sage Days

Hi everyone, I'd like to organize some online Sage Days, where people gather on zulip.sagemath.org and work on Sage together. The two things to be decided are 1. What topics should we focus on? 2. What days/times work for the most people? Some of these may transition into in-person working groups

Re: [sage-devel] Re: doctests: non-sorted output

On Sat, Sep 9, 2017 at 11:15 AM, Maarten Derickx < m.derickx.stud...@gmail.com> wrote: > Thanks for your input David. We discussed it on trac, and decided to leave > the situation as is on python 2.7 because it is stable enough as is given > the pynormaliz fix. > > For python 3 we propese to fix t

Re: [sage-devel] Patchbot failures metaticket

On Mon, Sep 11, 2017 at 12:59 PM, Maarten Derickx < m.derickx.stud...@gmail.com> wrote: > Hi all, > > During the recent writing of new code and reviewing I got annoyed that it > costs really a lot of effort for me to see if there was already a ticket > for a certain patchbot failure. I therefore d

Re: [sage-devel] Re: git trac is down ?

On Wed, Sep 13, 2017 at 3:10 AM, Dima Pasechnik wrote: > As I mentioned, this is not under our control which ports are blocked on > GCE hosts, and which are not. > I think it is (see https://cloud.google.com/compute/docs/vpc/using-firewalls), but I'm still confused. If you look at our list of f

Re: [sage-devel] Re: git trac is down ?

I haven't been able to find a log and I need to go to sleep. Dima should have access though David On Wed, Sep 13, 2017 at 3:17 AM, Vincent Delecroix < 20100.delecr...@gmail.com> wrote: > > > On 13/09/2017 09:17, David Roe wrote: > >> On Wed, Sep 13, 2017 at 3:10

Re: [sage-devel] Online Sage Days

in tab completion as soon as you inherit from sage.structure.Element (like > base_ring). Also get rid of the last old parent classes. > > * And for more mathematical things I am more likely to develop/debug the > parts that are related to my research at the time I need them. So I would >

Re: [sage-devel] doctesting tab completion

I'm not sure, but maybe you can find the iPython call which is doing the completion. Something like sage: from IPython import get_ipython sage: ip = get_ipython() sage: completer = ip.Completer sage: completer.complete('sage.interfaces.maxima_lib import') But this doesn't work for me. David On

Re: [sage-devel] trac not showing branch changes

On Thu, Sep 28, 2017 at 10:05 PM, Andrey Novoseltsev wrote: > I've seen it happen before a few times and now Ursula Whitcher reports it > while reviewing https://trac.sagemath.org/ticket/22391 : if you click on > the branch name it just shows that 3 files are deleted, which is scary and > useless

Re: [sage-devel] Re: segfault matrix integer dense

It seems to be okay in 8.1.beta6. David On Wed, Oct 4, 2017 at 10:24 AM, Vincent Delecroix < 20100.delecr...@gmail.com> wrote: > And the issue is still there after a fresh build from scratch! > > > On 04/10/2017 08:53, Vincent Delecroix wrote: > >> Dear all, >> >> I am not sure when it started to

Re: [sage-devel] Re: segfault matrix integer dense

> > Vincent > > > On 04/10/2017 18:30, David Roe wrote: > >> It seems to be okay in 8.1.beta6. >> David >> >> On Wed, Oct 4, 2017 at 10:24 AM, Vincent Delecroix < >> 20100.delecr...@gmail.com> wrote: >> >> And the issue is still th

Re: [sage-devel] Re: Please help with #23967 Coercion pushout for FGP_modules

On Mon, Oct 9, 2017 at 1:38 PM, Simon Brandhorst wrote: > It helps a bit. Though my problem right now is that fgp_modules do not > have a construction defined in the tutorial this is the case. So I have to > give fgp_modules a construction functor? Or is there an easier way to get a > pushout? >

Re: [sage-devel] Re: Allow quotient modules for PIDs

I would try sage: X = V.quotient(W) sage: TestSuite(X).run() and see if there are failures. I know the implementation of FGP_Module was eventually intended for other PIDs as well, so I think it's a good idea as long as we have enough tests. David On Thu, Oct 12, 2017 at 11:07 AM, Simon Brandhors

Re: [sage-devel] Re: VOTE: inclusion of OpenSSL in Sage

|X| Yes, we should fully support OpenSSL now, and clarify the licensing issue. -- 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.

Re: [sage-devel] Cannot push to trac - some git issue

It looks like there are commits on the ticket that you don't have (thus the complaint about a non-fast-forward push). Have you tried using git trac pull? Or, as Travis suggests, the plain git analogue? I see that you did git pull, but maybe the tracking isn't set up correctly? David On Tue, Oct

Re: [sage-devel] How do I overwrite comparison for modules?

On Mon, Oct 23, 2017 at 8:24 AM, Simon Brandhorst wrote: > I am aware of this. It is just unexpected that other.__eq__(self) calls > self._eq(other) > > As a user of that rich cmp method I would have expected it to call > other._eq(self). > > Raising a not implemented error seems nice. :) > Note

Re: [sage-devel] Re: Getting rid of the pickle jar

I agree that removing pickles from 6+ years ago is a good idea. I do think, however, that the idea of being able to save objects between versions of Sage is valuable. And we need some way to test it. Maybe we could move to some sort of rolling pickle jar, where we allow deprecations after a cert

Re: [sage-devel] Online Sage Days

Sorry for dropping the ball on organizing these. Based on the results of the survey, I'm going to propose Monday, November 6 starting at 4pm EST, 10pm CET. The first topic will be the Python 3 transition: what needs to be done and how we can get more people involved in the effort. If you'd like

Re: [sage-devel] Re: Getting rid of the pickle jar

I think tying it in with TestSuite(foo).run() is a good idea, but we probably don't want to store pickles for every one (since test suites can be run for multiple elements of the same type). Maybe check to see if a pickle has already been created for a given class, and if not, create one? David O

Re: [sage-devel] floor division for integer matrices

I don't think you're missing anything, and I would support adding this feature to matrices. David On Wed, Nov 1, 2017 at 5:36 PM, Simon Brandhorst wrote: > sage: A = Matrix(ZZ,2,[3,3,3,3]) > sage: A > [3 3] > [3 3] > sage: A//3 > > ---

Re: [sage-devel] Online Sage Days

I'm going to be on Zulip and working on reviewing some Python 3 tickets. Feel free to join me! David On Sun, Oct 29, 2017 at 5:33 AM, David Roe wrote: > Sorry for dropping the ball on organizing these. Based on the results of > the survey, I'm going to propose Monday, Novemb

Re: [sage-devel] p-adic factorization/root finding bug.

Thanks. Created https://trac.sagemath.org/ticket/24193 David On Fri, Nov 10, 2017 at 3:08 AM, Simon Brandhorst wrote: > {{{ > sage: f=x^22 + 9*x^21 + 16*x^20 - 92*x^19 - 408*x^18 - 144*x^17 + > 2080*x^16 + 4096*x^15 + 128*x^14 - 8192*x^13 - 12800*x^12 - 18432*x^11 - > 51200*x^10 - 131072*x^9 +

Re: [sage-devel] Re: problem with roots of a quadratic over a power series ring

Maybe https://trac.sagemath.org/ticket/16613 could be helpful, which suggests splitting content() and content_ideal() David On Sat, Nov 11, 2017 at 9:28 AM, Ralf Stephan wrote: > It's because of > sage: F.content() > Ideal (-2*t - 3*t^2 - t^3, 1, 1) of Power Series Ring in t over Rational > Fiel

Re: [sage-devel] Re: Online Sage Days

es? When would a better time be? David On Wed, Nov 15, 2017 at 3:47 PM, saad khalid wrote: > Will these be continuing at all? I would love to be a part of this, > especially if it were in early January or something. > > On Saturday, September 9, 2017 at 4:05:02 AM UTC-5, David R

Re: [sage-devel] io_shapes_las missing in saga_cmd in fresh linux install

I think you've asked the wrong list. This is for SageMath: www.sagemath.org. On Nov 28, 2017 08:03, "Michael Rademacher" wrote: > Hello everyone, > > First all, I am completely new to SAGA as well as GIS. However, I thinks > this perhaps just a configuration error on my side on my linux host. >

Re: [sage-devel] installation of sage 8.0 failed on on mac os 10.13.1

This is very likely the issue being tracked at #24085 , and is a result of building Sage on a Mac with a Skylake processor. There's currently a debate going there about how to package a solution in a way to make it into sage-8.1. If anyone has opinions, fee

Re: [sage-devel] Re: Running Sage from an IDE like PyCharm on Windows.

On Mon, Dec 18, 2017 at 8:55 AM, PHPirate wrote: > Thanks, that sounds a bit too difficult for me though so I'll just stick > to writing in PyCharm and try to execute my Sage files via the Sage shell. > > But out of curiosity, am I the only one wanting to write scripts in Sage? > Or are there oth

[sage-devel] Errors in GAP small groups library

I'm trying to use GAP's small groups library (after installing gap_packages) and getting strange errors that don't occur in GAP when built from source. In particular (using gap_console to get more traceback) sage: gap_console() ... gap> NormalSubgroups(SmallGroup(1458,1180)); Error, List Element:

Re: [sage-devel] Errors in GAP small groups library

On Fri, Feb 16, 2018 at 10:44 PM, David Joyner wrote: > On Fri, Feb 16, 2018 at 10:12 PM, David Roe wrote: > > I'm trying to use GAP's small groups library (after installing > gap_packages) > > and getting strange errors that don't occur in GAP when built from &

Re: [sage-devel] Re: Errors in GAP small groups library

sary, as apparently the GAP code uses > one of these packages for these > computation without telling us. > > So this is a sort of bug, yes, in our way of packaging GAP packages (and > it's a sort of GAP's bug to call a code from a package > without loading it explicitly...)

Re: [sage-devel] Re: Errors in GAP small groups library

toric', 'laguna']: g.load_package(pkg, verbose=True) g.save_workspace() g.quit() Thanks for the help Dima: my calculations are running smoothly again! David On Sat, Feb 17, 2018 at 12:57 AM, David Roe wrote: > Thanks, that helps a lot. After some experimentation, it

Re: [sage-devel] Re: making database_gap (starting from GAP 4.9) standard - please vote

On Sun, Feb 18, 2018 at 8:15 AM, Simon King wrote: > Hi Dima, > > in fact I am very happy that the authors of the SmallGroups library has > finally agreed to make it GPL compatible. > > So, +1 to making database_gap standard. > +1 from me as well. David > > Best regards, > Simon > > > Am Sonnt

Re: [sage-devel] OS X (or BSD) testers needed

Darwin Davids-MBP 16.7.0 Darwin Kernel Version 16.7.0: Thu Jun 15 17:36:27 PDT 2017; root:xnu-3789.70.16~2/RELEASE_X86_64 x86_64 status = 4 On Thu, Feb 22, 2018 at 4:21 PM, David Joyner wrote: > On Thu, Feb 22, 2018 at 10:16 AM, Jeroen Demeyer > wrote: > > On 2018-02-22 16:13, David Joyner wrot

Re: [sage-devel] Re: trac logo change ?

Would it be possible to have the logo take up less vertical space? There's now more blank white space at the top of each trac page. David On Wed, Feb 28, 2018 at 4:24 PM, Eric Gourgoulhon wrote: > Thank you Frédéric and Erik for the new logo shining at the top of Trac > pages! > > Eric. > > --

Re: [sage-devel] Nauty as a default generator for graphs

On Fri, Mar 9, 2018 at 1:19 AM, Jori Mäntysalo wrote: > It is much faster to say sum(1 for _ in graphs.nauty_geng(7)) than sum(1 > for _ in graphs(7)), and after #19919 we have nauty as a standard package. > > Will I break something if I change graphs(n) without any additional > parameter to use

Re: [sage-devel] Re: How much do we support the casual user

I've made https://trac.sagemath.org/ticket/25046. David On Tue, Mar 27, 2018 at 2:12 PM, William Stein wrote: > On Tue, Mar 27, 2018 at 11:06 AM, Nils Bruin wrote: > > On Tuesday, March 27, 2018 at 10:48:34 AM UTC-7, Ralf Stephan wrote: > >> > >> Nils, > >> > >> See https://trac.sagemath.org/ti

Re: [sage-devel] 8.2.rc2 on OSX: compile gcc 7.2 after git pull

On Thu, Apr 12, 2018 at 6:10 AM, Dima Pasechnik wrote: > > > On Thursday, April 12, 2018 at 10:45:47 AM UTC+1, François Bissey wrote: >> >> >> >> > On 12/04/2018, at 21:44, Volker Braun wrote: >> > >> > On Thursday, April 12, 2018 at 10:13:50 AM UTC+2, François Bissey >> wrote: >> > In the last

Re: [sage-devel] Re: division in Zmod(6)

On Tue, May 1, 2018 at 1:01 PM, Vincent Delecroix <20100.delecr...@gmail.com > wrote: > On 01/05/2018 18:31, Nils Bruin wrote: > >> On Tuesday, May 1, 2018 at 9:10:27 AM UTC-7, vdelecroix wrote: >> >>> >>> Dear all, >>> >>> How should be defined division in non-integral domains like Zmod(6)? The >

Re: [sage-devel] divisions

On Sat, Jun 9, 2018 at 8:03 PM Travis Scrimshaw wrote: > > > On Sunday, June 10, 2018 at 12:12:46 AM UTC+10, vdelecroix wrote: >> >> On 09/06/2018 04:00, Travis Scrimshaw wrote: >> > What Vincent has neglected to mention is the reasoning why I am >> suggesting >> > to keep the current behavior fo

Re: [sage-devel] Dropping support for old-style .spkgs?

Sage 6.9 was released in October 2015. Dropping support for old-style spkgs seems reasonable to me. David On Wed, Aug 8, 2018 at 1:06 PM Erik Bray wrote: > We still have quite a bit of code around for supporting old-style > packages in .spkg archives, though it is not well tested anymore and >

Re: [sage-devel] Re: PEP idea: unary division

On Fri, Jun 3, 2016 at 2:07 PM Jeroen Demeyer wrote: > On 2016-06-03 19:55, Simon King wrote: > > Note that testing "a==1" goes through the coercion model as well. > > Sure, but that's not what you want to do. I propose to test something like > > (isinstance(a, int) and a == 1) or (type(a) is Int

Re: [sage-devel] Re: Enabling Merge Requests from GitLab

On Mon, Sep 3, 2018 at 9:54 AM Erik Bray wrote: > On Tue, Aug 21, 2018 at 10:43 AM Erik Bray wrote: > > What does everyone think? Is there anyone opposed to going ahead and > > opening up merge requests? > > 4x +1 (not including myself, which is an additional +1) > 1x +0 (how I am interpretin

Re: [sage-devel] Display problem: "the -adics" for "the p-adics" in online doc

On Mon, Sep 3, 2018 at 8:35 AM Erik Bray wrote: > On Mon, Sep 3, 2018 at 1:22 PM John Cremona > wrote: > > > > It would be OK (in my opinion) for the p in p-adics not to be in math > mode. It certainly needs to be present. > > That would certainly be the simplest solution. A more complicated >

Re: [sage-devel] zn_poly status?

I've CCed David Harvey, but I think that creating a github repo for it sounds great. David On Fri, Sep 7, 2018 at 9:53 AM Erik Bray wrote: > Hi all, > > Does anyone know what that current status is of the upstream zn_poly > package? According to its website > http://cims.nyu.edu/~harvey/zn_poly

Re: [sage-devel] Possible bug involving discriminants of polynomials of degree 7

This looks like a discrepancy between the discriminant of the polynomial and the discriminant of the number field (which should be the discriminant of the maximal order). Sure enough: sage: O = L.maximal_order() sage: O.discriminant().factor() 2^6 * 691^2 sage: O.basis() [4/7*a^6 + 6/7*a^5 + 5/7*

Re: [sage-devel] Upcoming Debian freeze

On Mon, Nov 5, 2018 at 7:02 AM Samuel Lelièvre wrote: > Dear sage-devel, > > The freeze period for the next Debian release starts on > 12 January 2019, as discussed at > > https://trac.sagemath.org/ticket/22626#comment:118 > > This conditions what functionality users of Debian and its > derivat

Re: [sage-devel] Re: Weak references in the coercion model

On Tue, Dec 4, 2018 at 9:06 PM wrote: > Would it be advisable to change the base programming language to one that > does automatic garbage collection instead of having to check to see if a > class has been properly disposed like it appears from all of these related > bugs? > I can't tell if you'

Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg

That sounds great! David On Sat, Dec 15, 2018 at 7:28 AM John Cremona wrote: > +1 > > On 15 Dec 2018 10:09, "Dima Pasechnik" wrote: > >> The present design with two optional packages gap_packages and >> database_gap was dictated in the 1st place by copyright issues with >> their contents, preve

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

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] sorting doctests

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] Re: Checking whether a Parent models the real field

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] discovering coercions (related to groups and cartesian products)

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] reducing upstream tarballs in a reproducible way

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] inherit group from monoid

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] Re: Re: Python vs Cython parents, and element constructors

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] PyCon spritns tomorrow

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: matrices: matrix space vs matrix group

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] Random matrices that already are there

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: Factoring p-adic polynomials

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] Re: Factoring p-adic polynomials

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] CategoryObject vs. Parent

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: ipython

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

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] trouble with error message during doctest

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] What is the parent() of a vector from a subspace?

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] Using hidden attributes in methods

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] Re: parents and elements and categories

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] Re: parents and elements and categories

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

<    2   3   4   5   6   7   8   9   10   >