[sage-devel] Subgroups of automorphism groups of graphs

2025-01-28 Thread 'Peter Mueller' via sage-devel
[1..n]. I have a complicated example where the automorphism group is computed correctly, but the action of the commutator subgroup is with respect to a different labeling of the vertices. -- Peter Mueller -- You received this message because you are subscribed to the Google Groups "

[sage-devel] Bug in `factor` for multivariate polynomials over QQbar

2024-08-02 Thread 'Peter Mueller' via sage-devel
The line `R. = QQbar[]; factor(a^2 - 2*c^2)` raises a ValueError: variable name '@c' is not alphanumeric while the same line with `c` replaced with `b` works fine. This happens in a local installation of Sage 10.4 (and 10.5.beta0), but also on the SageCell. -- Peter Mueller -- Yo

[sage-devel] Re: Proposal: Creating a SageMath Advisory Board

2024-07-19 Thread Peter Bruin
This idea appeals to me, as someone who used to do a lot of Sage development but is much less active now. I would be willing to serve on such an advisory board if it came into existence. Op woensdag 26 juni 2024 om 02:57:57 UTC+2 schreef Matthias Köppe: > The purpose: Giving a formal role in th

[sage-devel] Re: Error in I.variety(algorithm='msolve', proof=False)

2024-06-30 Thread 'Peter Mueller' via sage-devel
both cases. Still, from within Sage, I get the wrong result. So I guess I need to force Sage to use the system msolve rather the one which Sage built during installation. -- Peter Mueller Marc Mezzarobba schrieb am Sonntag, 30. Juni 2024 um 12:27:25 UTC+2: > 'Peter Mueller' via sag

[sage-devel] Re: Error in I.variety(algorithm='msolve', proof=False)

2024-06-30 Thread 'Peter Mueller' via sage-devel
the `enter` key after the `cat` command in the console. -- Peter Mueller Marc Mezzarobba schrieb am Sonntag, 30. Juni 2024 um 09:04:28 UTC+2: > 'Peter Mueller' via sage-devel wrote: > > R. = GF(2)[] > > L = [a^2+a, b^2+b] > > I = ideal(L) > > V = I.variety(alg

[sage-devel] Error in I.variety(algorithm='msolve', proof=False)

2024-06-29 Thread 'Peter Mueller' via sage-devel
too small`. So it seems that for the time being, one has to write one's own interface to msolve :-( -- Peter Mueller -- 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 i

Re: [sage-devel] Re: SingularError in rational_parameterization

2024-04-20 Thread 'Peter Mueller' via sage-devel
dea, as your Singular is built with flint2, I suppose... well, all these packages were installed when I compiled sage: `pacman -Q gmp ntl flint readline mpfr cddlib` returns gmp 6.3.0-1 ntl 11.5.1-1 flint 3.1.2-1 readline 8.2.010-1 mpfr 4.2.1-2 cddlib 1:0.94m-1 -- Peter -- You received this

Re: [sage-devel] Re: SingularError in rational_parameterization

2024-04-19 Thread 'Peter Mueller' via sage-devel
am Freitag, 19. April 2024 um 12:08:01 UTC+2: > On Fri, Apr 19, 2024 at 02:28:13AM -0700, 'Peter Mueller' via sage-devel > wrote: > > I just figured out that the installation from source (even with the > > explicit configure option `--with-system-singular`) on an u

[sage-devel] Re: SingularError in rational_parameterization

2024-04-19 Thread 'Peter Mueller' via sage-devel
I just figured out that the installation from source (even with the explicit configure option `--with-system-singular`) on an up to date arch linux machine ignores the installed singular (`pacman -Q singular` returns `singular 4.3.2.p16-1`). Not sure if it is a path problem that makes the conf

[sage-devel] SingularError in rational_parameterization

2024-04-17 Thread 'Peter Mueller' via sage-devel
()) The polynomial f is absolutely irreducible, and the given curve is rationally parametrized e.g. by (x, y) = (1/2*(t^3+t^2+t-1)/t^2, 1/2/t*(t^3+t^2-t+1)). -- Peter Mueller PS: To me as a naive end user, it looks like Singular has had recurring problems with basic things for many years that

[sage-devel] Bug in representative_action()

2023-03-28 Thread 'Peter Mueller' via sage-devel
The method representative_action() for Sage permutation groups erroneously returns the identity element when it actually should either fail or return something which makes clear if no representative exists. The corresponding method for libgap groups behaves as expected: sage: g = PermutationGr

[sage-devel] Strange bug connected to GAP as a backend

2022-11-21 Thread 'Peter Mueller' via sage-devel
ppens with versions 9.7, 9.8.beta3, and also on the SageCell. -- Peter Müller (Remark: I reported a variant of this behavior previously at https://groups.google.com/g/sage-support/c/N4mAcl_fGCE.) -- You received this message because you are subscribed to the Google Groups "sage-devel" g

[sage-devel] COUNT (COmputations and their Uses in Number Theory) - CIRM, 27 Feb-3 Mar

2022-11-14 Thread Peter Bruin
deadline for the pre-registration is December 1st. Best regards, and looking forward to seeing you at COUNT, Peter Bruin (on behalf the organising committee) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this grou

[sage-devel] Re: On changing Bernoulli(1) to +½

2022-09-14 Thread Peter Luschny
onceptual framework. This approach also makes sense in all the other cases that Fredrik has to decide. With it, the burden of making a sensible decision is turned into the freedom for the user to explore a fascinating function. -- Peter -- You received this message because you are subscri

[sage-devel] Symbolic sum giving incorrect answers

2022-02-11 Thread 'Peter Taylor' via sage-devel
QBO-Cf-ibM2Yi-gC_IqxBwkJ2Ijsq6-9dghcPklM3TVWbe09N8PZqRqc6xTOIy6IsTKCCJNgFC3psLlJ1GasfN0evC9kaaPT6Dd59SMUYNSg9dh4stzSQPo0F2W_zBfMfr7vzDlIMMqI=&lang=sage&interacts=eJyLjgUAARUAuQ== Regards, Peter Taylor -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from th

[sage-devel] Re: Adèles and idèles

2021-09-10 Thread Peter Bruin
ill become piecewise pip-installable in the future, then presumably people will also become more used to install packages (like yours) via pip. I guess it is up to you, as the author, to choose whether to go for 1) or 2). Best wishes, Peter Op vrijdag 13 augustus 2021 om 12:07:25 UTC+2 schreef m.c.

[sage-devel] Ticket #32250: definition of (magmatic) algebras

2021-07-30 Thread Peter Bruin
On https://trac.sagemath.org/ticket/32250 I propose a precise definition of (magmatic) algebras, since this is currently missing. This could help "systematizing" the implementation of algebras in the category hierarchy. Comments are welcome! Peter -- You received this message b

Re: [sage-devel] Wrong degree limit in PrimitiveGroup()

2021-05-03 Thread 'Peter Mueller' via sage-devel
I did not find anything about that. So I opened a new ticket at https://trac.sagemath.org/ticket/31774. (It is my first one, I hope I did not violate too many conventions.) -- Peter Mueller vdelecroix schrieb am Montag, 3. Mai 2021 um 19:36:55 UTC+2: > Thanks for your report. Is there alre

[sage-devel] Wrong degree limit in PrimitiveGroup()

2021-05-03 Thread 'Peter Mueller' via sage-devel
omeone else takes care of that. -- Peter Mueller -- 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 view

[sage-devel] git clone git://github.com/sagemath/sage.git didn't do what I expected

2020-10-28 Thread 'Peter Mueller' via sage-devel
ed? (For instance, it doesn't tell that one has to run ./configure before issuing make.) -- Peter Mueller -- 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 emai

[sage-devel] Error installing package gap_packages-4.10.2.p1

2020-10-27 Thread 'Peter Mueller' via sage-devel
. -- Peter Mueller [...] gcc -c -O -fno-builtin nqmfns.c gcc -O -fno-builtin -o ..//..//bin/x86_64-pc-linux-gnu-default64-kv3/nqmrun nqmd.o nqmp.o nqmfns.o /usr/bin/ld: nqmfns.o:(.bss+0x8): multiple definition of `ip'; nqmp.o:(.bss+0x8): first defined here /usr/bin/ld: nqmfns.o:(.bss+0x0): mul

[sage-devel] Re: lcalc.analytic_rank fails

2020-03-20 Thread Peter Bruin
long assignment. Do you want to file a PARI bug report? Best wishes, Peter Op woensdag 18 maart 2020 13:36:46 UTC+1 schreef Barinder Banwait: > > MWE: > > sage: A = -17737878703644595885728157881856/2195118875780412735240966796875 > sage: B = > 76386743039924534000525642916

Re: [sage-devel] Native Windows version

2019-01-23 Thread Peter Luschny
er. I am aware that this is only because of extraordinary skills and efforts by E. M. Bray and I would like to express my appreciation for it. Peter -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and

[sage-devel] Dead sequences

2019-01-09 Thread Peter Luschny
This sequence is dead: "{}: {}"'.format(self.id(), self.name()), RuntimeWarning) - It not only warns me, it also tells me how it constructed the warning. I think it would be more appropriate not to warn, return 'None' and keep silent in such cases. Pet

[sage-devel] Re: What the hell is JSAGE ?

2019-01-04 Thread Peter Luschny
is is an excellent way to double your donation." * Make a page acknowledging all donations and link to it. Peter -- 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 i

Re: [sage-devel] Re: Suggestion for the SageMath website

2018-06-25 Thread Peter Luschny
k at it, I am used to displace such items immediately from my field of vision just as I do this tens of times a day when I avoid commercial advertising trying to gain my attention with similar techniques. Peter -- You received this message because you are subscribed to the Google Groups "sag

Re: [sage-devel] Re: Suggestion for the SageMath website

2018-06-24 Thread Peter Luschny
ings closer together. Like it is done here: http://luschny.de/temp/SageHtmlTest.html Peter -- 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+unsu

[sage-devel] Re: Improving code with AI?

2018-05-02 Thread Peter Luschny
rjf> The chance that Machine Learning AI programs will find rjf> important algorithmic efficiency fixes in algebraic rjf> mathematical implementations seems pretty slim. Improving code is something other than improving algorithmic efficiency of high-level algorithms, of whatever kind. The latt

Re: [sage-devel] Re: Improving code with AI?

2018-05-01 Thread Peter Luschny
> > The most complicated thing is to make a special-purpose github account to > run this on (because no-one > in their right mind is going to give some shady startup access to their > actual github account, right? > I do not think you need to do this. You can limit access to certain reposito

Re: [sage-devel] Re: Improving code with AI?

2018-04-30 Thread Peter Luschny
> I'm old enough to have lived through the first AI winter > , and to become *extremely* > wary of anything hyped to the level currently used about anything > "AI"-labeled. > With all due respect to your experiences, the AI in the 80s couldn't play chess mu

Re: [sage-devel] Improving code with AI?

2018-04-30 Thread Peter Luschny
> > I have my doubts ... > Not me, in the following sense, independent of the software mentioned: Why would an AI-Lint (to call it that) not be able to deliver useful results? And have the potential to far surpass that of the ordinary Lint? Projects like the Stochastic Program Optimization eve

[sage-devel] Improving code with AI?

2018-04-29 Thread Peter Luschny
Hi, does such a thing make sense for use in the SageMath development? The website says: Free Forever for GitHub open source. https://techcrunch.com/2018/04/26/deepcode-cleans-your-code-with-the-power-of-ai/ P. -- You received this message because you are subscribed to the Google Groups "sag

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

2017-12-18 Thread Peter Luschny
> > I do not like notebooks such as this one and Mathematica because they do > not go well with a VCS. > With Eclipse you have a powerful IDE for Mathematica. Called Wolfram Workbench. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsub

[sage-devel] Re: Calculation Error

2017-08-28 Thread Peter Luschny
For twenty years in the FAQ of sci.math: http://www.faqs.org/faqs/sci-math-faq/0to0/ -- 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...@goog

[sage-devel] Quirks using SR.var(latex_name=...)

2017-07-27 Thread Peter Banks
that pgfpicture should work perfectly well within a maths environment, so it may as well be added anyway. I have looked on these mailing list and on Ask sage and I haven't found anything about these behaviours; I apologise if this is a duplicate of some post elsewhere. Best wishes, Pe

Re: [sage-devel] Re: Sage Windows Installer (take 2b)

2017-07-25 Thread Peter Luschny
Am Mittwoch, 14. Dezember 2016 20:19:04 UTC+1 schrieb Erik Bray: >>> Please give this new build a try: > >>> > https://github.com/embray/sage-windows/releases/download/0.1a3-7.4/SageMath-7.4.exe > > Will there be a Windows installer for SageMath-8.0? Peter

[sage-devel] Re: Suggestion for GSoC project: Polynomials - Rewriting and relinking

2017-01-20 Thread Peter Bruin
agemath.org/ticket/15601 This is not merged yet, but could be useful to get an impression of the sort and amount of work to be done for new polynomial implementations (although the interfaces of e.g. NTL and FLINT are of course different). Unfortunately I personally won't have a lot of free time t

Re: [sage-devel] Re: is handling of Inf/Infinity/infinity affected by the 1st call to symbolics?

2017-01-18 Thread Peter Luschny
> > This is now > https://trac.sagemath.org/ticket/22201 > Thanks! P.S. Do you know that there are functions which work correctly but advertise to use instead functions which are buggy? Hint: 22069 -- You received this message because you are subscribed to the Google Groups "sage-devel" group.

Re: [sage-devel] Re: is handling of Inf/Infinity/infinity affected by the 1st call to symbolics?

2017-01-18 Thread Peter Luschny
enhancement request: "Implement the Mittag-Leffler function!". Peter -- 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...@google

[sage-devel] Re: is handling of Inf/Infinity/infinity affected by the 1st call to symbolics?

2017-01-18 Thread Peter Luschny
run. If I have misunderstood, please do enlighten me. Peter -- 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

[sage-devel] Re: bug report: error when computing cardinality of point sets

2017-01-13 Thread Peter Bruin
very likely the bug reported at <https://trac.sagemath.org/ticket/18400>. Peter > Here's an example. > Entering: > F = FiniteField(37) > P3. = ProjectiveSpace(3,F) > P3.point_set().cardinality() > yields an error that begins: > Error in lines 3-3 Traceback (most re

Re: [sage-devel] Re: Sage Windows Installer (take 2b)

2016-12-14 Thread Peter Luschny
> I replaced the existing binary with a new one at BRAVO! All works fine. (only plot() gives no output) Peter -- 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

Re: [sage-devel] Re: Sage Windows Installer (take 2b)

2016-12-14 Thread Peter Luschny
> > Could you tell me what kind of CPU you have? And remind me, was this > running in a VM (it shouldn't matter but I'm curious)? > No, no, it ran on bare iron. Peter -- You received this message because you are subscribed to the Google Groups "sage-devel"

Re: [sage-devel] Re: Sage for Windows installer (take 2)

2016-12-08 Thread Peter Luschny
> > What path did you install into? The default (under Program Files)? > > The program is installed in C:\Program Files\SageMath It was a one-click installation in which I did not intervene manually. Peter -- You received this message because you are subscribed to the Google G

[sage-devel] Re: Recurrences and Sequence Formula Guessing Functions in Sage

2016-11-19 Thread Peter Luschny
scm.gforge.inria.fr/anonscm/gitweb/?p=gfun/gfun.git;a=tree Peter -- 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...@googlegrou

[sage-devel] Re: Finite fields coercion bug

2016-10-14 Thread Peter Bruin
le to first construct the algebraic closure of F_p and then construct other finite fields as subfields of this: sage: K = GF(3).algebraic_closure('custom') sage: K9, i9 = K.subfield(2) sage: K.has_coerce_map_from(K9) True However, there is a similar problem here: sage: K81, i81 = K.subfi

[sage-devel] Re: Finite fields coercion bug

2016-10-13 Thread Peter Bruin
ot;taints" the target parent by registering the fact that there is no coercion. It does work if you don't call has_coerce_map() first: sage: F4 = GF(4, names='a') sage: F16 = GF(16, names='b') sage: f = F4.Hom(F16)[0] sage: F16.register_coercion(f) You can't rely o

[sage-devel] Re: Poisson algebra module

2016-09-08 Thread &#x27;Peter Banks' via sage-devel
h on the ticket so we can take a look at >> the code. >> > I will do this soon - there are a few problems with the code I want to get fixed first, and then I will go about adding relevant tickets. Best, Peter -- You received this message because you are subscribed to the Google

[sage-devel] Poisson algebra module

2016-09-05 Thread &#x27;Peter Banks' via sage-devel
hs (which currently is loaded from an external file). Should both of these generators be added to the digraph_generators module? There is also a little bit more work to be done before the code is fully ready to be integrated into Sage. Once this is done I will look at making the code availa

[sage-devel] Re: bug in pari interface for roots over finite fields

2016-08-08 Thread Peter Bruin
705590731*x^3 + 13189065031705497851*x^2 > + 13189065031705497851*x + 13189065031705581443") > > pol.roots() This is now https://trac.sagemath.org/ticket/21186; I found a solution and will upload a patch soon. Peter -- You received this message because you are subscribed to the Google Gro

[sage-devel] Re: Coming SageMathCell upgrade - please test!

2016-06-06 Thread Peter Luschny
--- ImportError Traceback (most recent call last) in () > 1 load('http://') 2 load('http://') 3 /home/sc_serv/sage/src/sage/structure/sage_object.pyx in sage.structure.s

Re: [sage-devel] Request to extend the binomial function by the reflection formula

2016-04-04 Thread Peter Luschny
as k>=0 nothing will change compared to the GKP definition. Upper negation will be untouched. Peter -- 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

[sage-devel] Request to extend the binomial function by the reflection formula

2016-04-03 Thread Peter Luschny
1-647 [WP] Pascal's triangle https://en.wikipedia.org/wiki/Pascal's_triangle#Extensions [MJK] M. J. Kronenburg; The Binomial Coefficient for Negative Arguments; arXiv:1105.3689v2 [RS] Renzo Sprugnoli; Negation of binomial coefficients; Discrete Mathematics 308 (2008) 5070–5077 [PL] Peter

[sage-devel] Re: Definition of multifactorial #5415

2015-12-05 Thread Peter Luschny
derived. How this could be done is outlined in an old post of mine on the OEIS-Wiki [1]. I can well imagine making this a general multifactorial function in SageMath. Cheers Peter [1] http://oeis.org/wiki/User:Peter_Luschny/Multifactorials -- You received this message because you are subscribed to

Re: [sage-devel] Porting SageMath to Windows 64

2015-10-07 Thread Peter Luschny
ch > RAM but still benefit from the 64 bit ints. > Wasn't it initiated by Donald Knuth's flame: "It is absolutely idiotic to have 64-bit pointers when I compile a program that uses less than 4 gigabytes of RAM." Peter -- You received this message because you are su

Re: [sage-devel] Re: Sources of funding - perhaps computer manufacturers?

2015-10-01 Thread Peter Howe
interactive worksheets to go with textbooks, as some of the course tutors here have. As also noted, the commercial Ma's do offer very very cheap subscriptions to students so I think that's less of a consideration. Peter. -- You received this message because you are subscribed to

[sage-devel] Re: Running 'make' twice triggers a gcc rebuild

2015-10-01 Thread Peter Bruin
caused this, but prevented the rebuilding by simply doing "touch local/var/lib/sage/installed/gcc-4.9.2.p1". Peter -- 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

[sage-devel] Re: Catalog of algebras: the definition of an algebra

2015-05-06 Thread Peter Bruin
imensional algebras over a field were implemented in #12141, we explicitly included non-associative algebras. In case the user already knows that his algebra is associative, he can pass a flag "assume_associative" (default: False) to avoid a lengthy computation to check this. Peter -- You r

Re: [sage-devel] osx 10.10.2 / sage 6.5 - how to read jpg/tiff files? - sage -i libjpeg-6b problem

2015-03-23 Thread Peter Metcalf
All good now - thanks very much for your help Peter On 24/03/2015, at 1:49 pm, Volker Braun mailto:vbraun.n...@gmail.com>> wrote: You are still using the compiler shipped inside the mac app. Download the source tarball (sage-6.5.tar.gz), unpack in your home directory, and run

Re: [sage-devel] osx 10.10.2 / sage 6.5 - how to read jpg/tiff files? - sage -i libjpeg-6b problem

2015-03-23 Thread Peter Metcalf
OK - thanks I reinstalled the command line tools and then the whole of Xcode from https://developer.apple.com/downloads/index.action?=command%20line%20tools# but still get errors with sage -f python I’ve attached the config log file below Peter On 24/03/2015, at 8:23 am, Volker Braun

Re: [sage-devel] osx 10.10.2 / sage 6.5 - how to read jpg/tiff files? - sage -i libjpeg-6b problem

2015-03-23 Thread Peter Metcalf
Thanks Volker after 2 hours of searching the web and trying various things there seems to be no obvious way of reinstalling the xcode command line tools, or of uninstalling xcode and starting fresh I know this is off topic for sage-devel but if anybody has done this please let me know Peter

[sage-devel] Re: On MacDonald polynomials and pickling

2015-03-23 Thread Peter Bruin
Hello, There are indeed tons of problems with old pickles; see also http://trac.sagemath.org/ticket/16311 where I simply tried to get the string representation of all pickles in the jar. Peter > The pickle jar is about old pickles, to test that they can be unpickled. > So the pickle

[sage-devel] Re: osx 10.10.2 / sage 6.5 - how to read jpg/tiff files? - sage -i libjpeg-6b problem

2015-03-23 Thread peter metcalf
'SAGE_PORT' to something non-empty. make[2]: *** [/Applications/sage/local/var/lib/sage/installed/prereq] Error 1 make[1]: *** [all] Error 2 == Peter On Tuesday, March 24, 2015 at 7:19:56 AM UTC+13, Volker Braun wrote: > > Can you try compiling

[sage-devel] Re: osx 10.10.2 / sage 6.5 - how to read jpg/tiff files? - sage -i libjpeg-6b problem

2015-03-23 Thread peter metcalf
On Monday, March 23, 2015 at 11:22:40 PM UTC+13, peter metcalf wrote: > > HI All > > I'm trying to read jpg files using PIL or matplotlib > > any help/suggestions would be most welcome! > > the

[sage-devel] osx 10.10.2 / sage 6.5 - how to read jpg/tiff files? - sage -i libjpeg-6b problem

2015-03-23 Thread peter metcalf
HI All I'm trying to read jpg files using PIL or matplotlib any help/suggestions would be most welcome! the following fails sage -i libjpeg-6b the relevant part of the log file may be == gcc -fPIC -I. -c -o jmemmgr.o jmemmgr.c gcc -fPIC -I

[sage-devel] Re: Fastest way to multiply vector with matrix?

2015-02-17 Thread Peter Bruin
faster algorithm using Kronecker substitution; this was only merged in the PARI Git repository a week ago. It may be even faster (but much more work) to write classes for matrices and vectors over finite fields using FLINT (see also #16664 for the finite fields themselves). Peter -- You receive

Re: Fwd: [sage-devel] trivial Artin symbols

2015-01-23 Thread Peter Bruin
Hi Djordjo, It turns out that in your example the decomposition group is represented internally as a permutation group on the wrong number of elements. I am now testing a fix; see http://trac.sagemath.org/ticket/17664 . Peter > -- Forwarded message -- > From: Djordjo M

Re: Fwd: [sage-devel] trivial Artin symbols

2015-01-23 Thread Peter Bruin
Hi Djordjo, It turns out that in your example the decomposition group is represented internally as a permutation group on the wrong number of elements. I am now testing a fix; see http://trac.sagemath.org/ticket/17664 . Peter > -- Forwarded message -- > From: Djordjo M

Re: [sage-devel] GF(3) but GF(9,'x')

2014-12-30 Thread Peter Bruin
I just created two tickets for this: http://trac.sagemath.org/ticket/17568 (Allow syntax FiniteField(p, n)) http://trac.sagemath.org/ticket/17569 (Allow creating finite fields without a variable name) Peter Op dinsdag 30 december 2014 11:12:32 UTC+1 schreef Peter Bruin: > > Hello,

[sage-devel] Re: GF(3) but GF(9,'x')

2014-12-30 Thread Peter Bruin
Just to clarify, typing GF(p, n) would not insert the name 'z' + str(n) into the global namespace, it would just mean that elements are printed using this variable name. One would still have to do something like sage: F, z5 = GF(3, 5).objgen() to be able to use z5 on the command li

Re: [sage-devel] GF(3) but GF(9,'x')

2014-12-30 Thread Peter Bruin
d(n)[0] With this convention, an added benefit is that the distinguished generator of GF(p, n) is called 'z' + str(n), which is less likely to be confusing than just 'z'. For example: sage: GF(3).algebraic_closure().subfield(5)[0] Finite Field in z5 of size 3^5 Peter Op

[sage-devel] Re: Building Maxima spkg fails

2014-12-19 Thread Peter Bruin
Hi Simon, Sigh. Even after installing automake 1.13.4, the maxima spkg refuses to > build. However, sage still starts. > Yes, one annoying thing is that you specifically need Automake 1.11. Peter -- You received this message because you are subscribed to the Google Groups "

[sage-devel] Re: Building Maxima spkg fails

2014-12-19 Thread Peter Bruin
The build failure should be fixed by http://trac.sagemath.org/ticket/17525 Peter Op vrijdag 19 december 2014 12:54:37 UTC+1 schreef Simon King: > > Hi! > > With the latest develop, "make start" fails to build maxima. The log is > at > http://sage.math.washin

Re: [sage-devel] abs(matrix)

2014-12-04 Thread Peter Bruin
n, though I > > agree that we don't usually say absolute value in this context. > > abs(m) is not a standard notation for the determinant... (though |m| > is as Simon mentioned). My conclusion is that we should just forbid > __abs__ for matrices. > I would also be in fa

[sage-devel] Re: proposed amendment to code of conduct

2014-11-28 Thread Peter Luschny
Am Freitag, 28. November 2014 13:39:51 UTC+1 schrieb Volker Braun: > > On Thursday, November 27, 2014 3:27:23 AM UTC, Nathann Cohen wrote: > > I think that it is a good clause, and I hope that the document to which it >> could eventually belong will be a "Guidelines" one and not a code. > > > I

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

2014-11-27 Thread Peter Bruin
die XXVII mensis Novembris anni MMDCCLXVII ab urbe condita Emmanuel Charpentier scripsit: 7 Frimaire an 223 de la Révolution die, scribit Volker Braun : >> >> On Thursday, November 27, 2014 7:20:42 PM UTC, Emmanuel Charpentier wrote: >>> >>> Alternative : make the majestuous Latin of Leonard Eule

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

2014-11-27 Thread Peter Bruin
Lectoribus salutem! Emmanuel Charpentier scripsit: Alternative : make the majestuous Latin of Leonard Euler the lingua franca > of sage- lists/groups. That would give us the added benefit of having > grammatically well-built posts much more frequently... > Haec propositio approbationem meam h

[sage-devel] Re: Group of units in Z_n

2014-11-11 Thread Peter Bruin
Hello, After more than 5 years, there is now a ticket implementing a unit_group() method for IntegerModRing: http://trac.sagemath.org/ticket/17317 (needs review). Peter Op zaterdag 19 september 2009 05:14:57 UTC+2 schreef Rob Beezer: > > Sage-Devel, > > I've got it in my

[sage-devel] Re: Request to extend binomial(n,k) to negative integers

2014-10-09 Thread Peter Luschny
> > do you know how to open a trac ticket? As you say, this extension can > easily be done and thus does probably not require a poll on sage-devel. > It is now http://trac.sagemath.org/ticket/17123#ticket -- You received this message because you are subscribed to the Google Groups "sage-de

[sage-devel] Re: Request to extend binomial(n,k) to negative integers

2014-10-09 Thread Peter Luschny
> > do you know how to open a trac ticket? As you say, this extension can > easily be done and thus does probably not require a poll on sage-devel. > No, but I will try to learn it. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscr

[sage-devel] Request to extend binomial(n,k) to negative integers

2014-10-09 Thread Peter Luschny
behaviour of Maple and Mathematica. Peter (Thanks to John Palmieri for the reference.) -- 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+unsubs

Re: [sage-devel] Re: Diverging PARI from upstream (#16997)

2014-09-26 Thread Peter Bruin
Op vrijdag 26 september 2014 13:58:06 UTC+2 schreef Travis Scrimshaw: > > > On 2014-09-26 11:46, Peter Bruin wrote: >> > Why write a new function for something >> > that doesn't seem to be _that_ widely useful, and can easily be >> > implemented in two l

Re: [sage-devel] Re: Diverging PARI from upstream (#16997)

2014-09-26 Thread Peter Bruin
Op vrijdag 26 september 2014 13:40:36 UTC+2 schreef Jeroen Demeyer: > > On 2014-09-26 13:18, Peter Bruin wrote: > > It is completely sensible for valuation(0) > > to result in an error (or a "useless" infinity return value) > Raising an error and returning a &qu

[sage-devel] Re: Diverging PARI from upstream (#16997)

2014-09-26 Thread Peter Bruin
Op vrijdag 26 september 2014 11:58:44 UTC+2 schreef Volker Braun: > > On Friday, September 26, 2014 10:46:08 AM UTC+1, Peter Bruin wrote: > >> To be honest, I tend to agree with this argument. Once you start >> defining arithmetic with infinity, you are asking for trouble be

[sage-devel] Re: Diverging PARI from upstream (#16997)

2014-09-26 Thread Peter Bruin
Hi Volker, If upstream keeps refusing additions like ispseudoprimepower then we could > collect them into a separate shared library that we install separately, but > its not worth the effort right now. > I don't think there is a possibility of this happening. To avoid the impression that it i

[sage-devel] Re: Diverging PARI from upstream (#16997)

2014-09-26 Thread Peter Bruin
ode for PARI. Upstream has changed a lot the way they deal with the > PARI stack. For the moment, we don't use these functions, but in some > future ticket we can have a look at it. Because of the transitional > nature, not submitted to upstream. > This is a reasonable thing

[sage-devel] Re: Deprecations for changed behaviour

2014-09-17 Thread Peter Bruin
prescribe_ that modulus() and gen() should always return x - 1 and 1, respectively. I think Jeroen's proposal to make these customisable is very reasonable and does not require a deprecation warning. Peter -- You received this message because you are subscribed to the Google Groups "sa

[sage-devel] Re: Change in simplification of combined abs & sqrt in Sage 6.3

2014-09-16 Thread Peter Bruin
PS: the following message from the Maxima mailing list (found via a different sqrt-related report in the Maxima bug tracker) is quite useful: https://www.ma.utexas.edu/pipermail/maxima/2011/025213.html >From that page: * abs is a mathematical function which has simplification rules. It assumes

[sage-devel] Re: Change in simplification of combined abs & sqrt in Sage 6.3

2014-09-16 Thread Peter Bruin
isplay2d: false; (%o1) false (%i2) abs(sqrt(x)); (%o2) sqrt(x) (%i3) declare(x, complex); (%o3) done (%i4) abs(sqrt(x)); (%o4) abs(sqrt(x)) (%i5) abs(1/sqrt(x)); (%o5) abs(1/sqrt(x)) Peter -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To uns

[sage-devel] Re: Change in simplification of combined abs & sqrt in Sage 6.3

2014-09-16 Thread Peter Bruin
(x) (%i3) abs(1/sqrt(x)); ! 1 ! (%o3) !---! !sqrt(x)! I guess the first answer should be left alone (or at most changed to sqrt(abs(x))) when "domain: complex" is set, which is what Sage does. Peter -- You received

[sage-devel] Re: Power series normalisation

2014-08-27 Thread Peter Bruin
t; 0 == O(x^4) > to be true. Sage currently implements power series on top of polynomials, not via PARI (but I have been working on a different implementation based on PARI series, see http://trac.sagemath.org/ticket/15601). Peter -- You received this message because you are subscribed to

[sage-devel] Re: issues with pushout construction?

2014-08-27 Thread Peter Bruin
hing like "force_coercion_check" fits better? That's an interesting suggestion. I'll try thinking about it a bit more to see if this is an improvement over coercion_reversed. > Note: That would actually work in general (always doing a coercion > check) but for performan

[sage-devel] Re: issues with pushout construction?

2014-08-27 Thread Peter Bruin
'x')). If this is the case, the criterion for eliminating a "coercion-reversed" construction step F probably needs to be made more strict: if both of the original objects still coerce into the result of applying F, then we do want to apply F. Does that sound reasonable? Peter -- Yo

[sage-devel] Re: issues with pushout construction?

2014-08-27 Thread Peter Bruin
ase of SubspaceFunctor (i.e. with coercion_reversed=True in the terminology of #16507)? Then pushout() would remove the application of CuspidalSubspace when merging the two constructions. Peter -- You received this message because you are subscribed to the Google Groups "sage-devel

[sage-devel] Re: issues with pushout construction?

2014-08-27 Thread Peter Bruin
setting of submodules and linear subspaces, there is such a "functorial" construction, namely SubspaceFunctor, and it does get used in pushout constructions. I encountered this when looking at #10513, and this was the reason for opening #16507. Peter -- You received this message because y

[sage-devel] Re: help tracking bug with polynomials over finite fields

2014-08-27 Thread Peter Bruin
*a^5 + a + 1) 1] [x^5 + x^4 + 2*x^3 + x^2 + x + 1 1] However, the Sage factorisation F is different. In fact, it appears that the call to R(f) used in constructing F incorrectly converts the factor x + (2*a^7 + 2*a^6 + 2*a^5 + a + 1) into T + (2*z^3 + z + 2). Peter f = Mod(Mod(2, 3), Mod(1,

[sage-devel] Re: issues with pushout construction?

2014-08-27 Thread Peter Bruin
this can be used if B is a submodule of A, for example.) This won't address things like (base ring, cusp forms) -> (modular forms), though. Peter -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and sto

[sage-devel] Re: RuntimeError: ECL says: Module error: Don't know how to REQUIRE MAXIMA.

2014-08-19 Thread Peter Bruin
Bonjour Sébastien, > I get the below regression with 6.3 (compare to 6.3.beta3). Strange > error no? This kind of error can happen when ECL is upgraded but Maxima is not reinstalled. In that case, "sage -f maxima" will probably solve it. Peter -- You received this message

[sage-devel] Re: Equality, hashing and polynomial rings

2014-08-19 Thread Peter Bruin
compare equal if and only if >> they are identical. Would this be enough? > > I think this would make sense---of course with bidirectional > coercions, as mentioned in my previous mail. This is now implemented in #16855 (ready for review). Peter -- You received this message because yo

[sage-devel] Re: Equality, hashing and polynomial rings

2014-08-19 Thread Peter Bruin
field classes. By the way, there is no point in relying on hashes being different for "different" objects if they still compare equal; there is always some small probability of a hash collision. (I just saw that Simon King wrote something to the same effect.) Peter -- You received

  1   2   3   4   >