Re: [sage-support] Re: Groebner bases for supercommutative polynomial algebras.
On Nov 29, Simon King wrote:
Hi Reimundo,
On 2020-11-29, 'Reimundo Heluani' via sage-support
wrote:
Well, in the Noetherian case this works fine. The setup I need is a
non-noetherian algebra: a polynomial differential algebra, that is polynomials
in x_1,...,x_n and all of their formal derivatives. So this is a polynomial
algebra infinitely generated by variables x_i^{(j)} for 1 <= i <= n and 0 <=
j.
I see. But this probably means that we are talking about two different
notions of supercommutative algebra.
I really mean a finitely generated polynomial algebra in which some
generators anti-commute among each other.
For the non-Noetherian case, I am not so sure if some implementation is
available. What I said about SCA in Singular *is* about Noetherian
algebras.
We are talking about the same notions, I have my own implementation of the
super or non-super non-Noetherian case. But If I want to compute the Hilbert
series, say up to order n, then I divide by the ideal generated by all
n+1-derivatives. This produces a polynomial algebra that I can feed to
libsingular and ask for a groebner basis. I can do this in the non-super case,
but not in the super case currently.
R.
I need to compute Hilbert series of differential ideals, that is ideals
generated by some elements of the above plus all of their derivatives.
This works fine in the commutative case, since I can compute grobner bases up
to arbtitrary degree and ask for the hilbert series up to that degree. But I
couldn't get it to work in the super-commutative case.
I associate three things with it -- but I'm not sure if one of them helps.
1. There are differential algebras in Singular, but again they seem to
be finitely generated algebras. See
https://www.singular.uni-kl.de/Manual/latest/sing_2482.htm,
but I haven't been able to turn this into an example using the
pexpect interface.
2. There are several implementations of FreeAlgebra in Sage. One of them
is based on "letterplace", which is provided by Singular. It allows you
to choose non-negative integer weights and can compute Gröbner bases out
to any finite degree, *BUT* it only works for weighted-homogeneous
ideals (and in fact it won't even let you create an element that isn't
weighted homogeneous). No idea if it is possible to formulate your
problem in this very restricted setting.
3. There is a so-called InfinitePolynomialRing in Sage and it can
compute so-called symmetric Gröbner bases. But probably it doesn't
match your needs at all, as it is commutative, and the ideals under
consideration need to be "symmetric" in the sense that your algebra
has indexed series of generators x_1, x_2, x_3, ..., y_1, y_2, y_3, ...,
and when you take any element of your ideal and apply any permutation of
{1,2,3,...} to all indices of the generators, than you again get an
element of your ideal.
But I'm afraid it seems your use case isn't covered.
Best regards,
Simon
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/rq07f4%24o75%241%40ciao.gmane.io.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/X8OjsX2on%2BR79w/B%40vertex.
signature.asc
Description: PGP signature
Re: [sage-support] Re: Groebner bases for supercommutative polynomial algebras.
On Nov 29, Simon King wrote:
Hi Reimundo,
On 2020-06-17, 'Reimundo Heluani' via sage-support
wrote:
Is there an implementation of such a thing as in the title?
TL;DR: Yes. Singular does have these capabilities. I recall that these
were comfortably wrapped in SageMath, but as it turns out: They aren't.
Ohh this is very cool, I have a very large ticket #29610 implementing vertex
algebras, and one of the main applications of that ticket is to use Groebner
bases techniques to deal with algebras of functions of arc and jet spaces. I
had to explicitly deal with the super and non-super situation in completely
different ways because of the lack of groebner bases for the former.
Note to developers: I think we should have at least two trac tickets
related with Reimundo's question, and we should have these tickets opened
10 years ago already!!!
1. If A is a super-commutative algebra (which exists in Sage), then
singular(A) should create a copy of A in the Singular pexpect
interface, but this is broken.
2. Apparently, for ideals over A, Sage is using a generic implementation
that doesn't know about Gröbner bases. It should of course use an
implementation based on libsingular.
Longer answer:
I suppose "supercommutative" means that you have something
that resembles a polynomial ring, with the difference that some of the
generators anti-commute among each other, whereas some generators
commute with all generators.
I am facing the following design problem, and I'd love to get some pointers.
Can one not find it by searching in the SageMath documentation? Anyway,
I suppose it is explained in the docs how to create a SCA
(SuperCommutativeAlgebra) with grading, create ideals
over such algebras, and compute Gröbner bases.
This is how one could search during a SageMath session:
sage: search_src('supercommutative')
However, the answers to that search have not really been helpful. So,
perhaps the search in the documentation wasn't successful either. It
points to a lot of places in "sage.categories", but not where I recall
the actual implementation.
Fortunately I recall that supercommutative algebra is abbreviated as
sca. Hence, the following search succeeded:
sage: search_def('sca', whole_word=True)
It tells you that you find it (of course with documentation and
examples) in sage.rings.polynomial.plural
Now the issue is to compute the graded dimension of the quotient as a formal
power series.
You talk about Hilbert-Poincaré series? That's already implemented in
SageMath
Well, in the Noetherian case this works fine. The setup I need is a
non-noetherian algebra: a polynomial differential algebra, that is polynomials
in x_1,...,x_n and all of their formal derivatives. So this is a polynomial
algebra infinitely generated by variables x_i^{(j)} for 1 <= i <= n and 0 <=
j.
I need to compute Hilbert series of differential ideals, that is ideals
generated by some elements of the above plus all of their derivatives.
This works fine in the commutative case, since I can compute grobner bases up
to arbtitrary degree and ask for the hilbert series up to that degree. But I
couldn't get it to work in the super-commutative case.
But now that you mention that this is actually implemented in libsingular,
I'll look forward to the ticket porting this to Sage.
Best,
R.
Actually I need Hilbert-Poincaré series for my computation of modular
cohomology rings of finite groups; these rings are graded-commutative
(for odd prime characteristic at least) and can thus be implemented as
supercommutative algebras.
Here is a non-trivial example from my cohomology computations
(translated to boilerplate singular):
sage: names = '(x1a,x1b,x3a,x3b,y2a,y2b,y2c,y2d,y6)'
sage: Igens = ['x1a*x1b',
'y2b*x1a-y2a*x1b',
'y2c*x1a-y2b*x1b-y2a*x1b',
'y2c*x1b-y2b*x1b-y2a*x1b',
'y2d*x1a-y2b*x1b+y2a*x1b',
'-y2b^2+y2a*y2c-y2a*y2b',
'y2b*y2c-y2b^2-y2a*y2b',
'y2c^2+y2b^2+y2a*y2b',
'y2b^2-y2a*y2d-y2a*y2b+x1a*x3a',
'-y2b*y2d-y2b^2+y2a*y2b+x1b*x3a',
'-y2b*y2d-y2a*y2d+x1a*x3b',
'-y2c*y2d+x1b*x3b',
'y2d*x3a-y2d^2*x1b-y2c*x3a-y2b*x3a+y2a*y2b*x1b-y2a^2*x1b',
'-y2b*x3a+y2a*x3b-y2a*x3a-y2a*y2b*x1b',
'-y2c*x3a+y2b*x3b-y2a^2*x1b',
'y2c*x3b+y2c*x3a-y2a*y2b*x1b-y2a^2*x1b',
'x3a*x3b-y2d*x1b*x3b+y2a*x1b*x3b-y2a*x1a*x3b+y2a*x1a*x3a']
Create the super commutative algebra:
sage: R = singular.ring(3,names,'wp(1,1,3,3,2,2,2,2,6)')
sage: A = singular.superCommutative(4,9)
sage: A.set_ring()
Create an ideal and compute its Hilbert series (note that the quotient
of A by this ideal is isomorphic to the cohomology ring of the Sylow
3-subgroup of U_3(8) with coefficients in GF(3)):
sage: I = singular.ideal(Igens)
sage: from sage.rings.polynomial.hilbert import hilbert_poincare_series
sage: HP = hilbert_poincare_series(I.twostd().lead(), (1,1,3,3,2,2,2,2,6))
Now we can read off the number of standard monomials in each (weighted)
degree. Unfortunately, Singular doesn't have a function to return
standard
Re: [sage-support] log to the base 2
On Jul 18, Michael Beeson wrote: sage: n(log(2,408/370)) 7.08999206263157 sage: log(2,2) 1 sage: 2^7 128 sage: n(log(2,408.0/370)) 7.08999206263157 sage: version() 'SageMath version 8.7, Release Date: 2019-03-23' sage: n(log(2,1.001)) 693.493696416899 sage:log(2,1) gives an error instead of 0. sage: log? Signature: log(*args, **kwds) Docstring: Return the logarithm of the first argument to the base of the second argument which if missing defaults to "e". It calls the "log" method of the first argument when computing the logarithm, thus allowing the use of logarithm on any object containing a "log" method. In other words, "log" works on more than just real numbers. So it should be sage: sage: log(1,2) 0 Which works fine. Also on my Sage 9.2.beta2 sage: log(2,1) Infinity Cheers, R. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [1]sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit [2]https://groups.google.com/d/msgid/ sage-support/89cc7e10-6752-440e-9ed2-f4cf4b120089o%40googlegroups.com. References: [1] mailto:sage-support+unsubscr...@googlegroups.com [2] https://groups.google.com/d/msgid/sage-support/89cc7e10-6752-440e-9ed2-f4cf4b120089o%40googlegroups.com?utm_medium=email_source=footer -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200718191738.GA618237%40vertex. signature.asc Description: PGP signature
Re: [sage-support] speakers of FR/PT/ES/JP sought to check edits in src/doc on #30076
On Jul 07, Dima Pasechnik wrote: On Tue, Jul 7, 2020 at 2:27 PM 'Reimundo Heluani' via sage-support wrote: On Jul 07, Dima Pasechnik wrote: >On Tue, Jul 7, 2020 at 12:58 PM 'Reimundo Heluani' via sage-support > wrote: >> >> On Jul 07, Dima Pasechnik wrote: >> >On Tue, Jul 7, 2020 at 12:02 PM 'Reimundo Heluani' via sage-support >> > wrote: >> >> >> >> Hi Dima, "Interfaz" doesn't have an accent in Spanish >> >> >> >> https://dle.rae.es/interfaz >> > >> >Thanks! >> >It was actually already in the file. Care to check the complete text? >> >https://git.sagemath.org/sage.git/tree/src/doc/es/tutorial/introduction.rst?id=a9ca087205be1db6db8a8d9cd527eb765f3c8442 >> > >> Attached is a patch, it's mainly accents, I haven't gone into grammar, but the >> text seemed fine to me on general lines. >> >sorry, your patch does not apply - something went wrong with file >encoding, I guess. >Could you perhaps push a branch with your changes somewhere, or use > >git format-patch > >to create a patch one can email? > That is weird, I took care of color escapes. Anyway attached is a format-patch the problem is apparently in the encodings. The patch is to a UTF-8 encoded file, but your patches for some reason arrive as "unified diff output, ISO-8859 text, with CRLF line terminators" and do not apply even if I convert them to UTF-8... Thanks, I think this is mutt that screwing the patch up, if I send it with mutt -H it is sent as plain ASCII, I'll try to deal with this when I get a minute. Cheers, R. one and also just in case you can find it in u/heluani/es/tutorial/introduction anyhow, this worked, I was able to merge your corrections there. Thanks Dima Cheers, R. >Thanks, >Dima > > >> Best, >> >> R. >> >> > >> >> >> >> Cheers, >> >> >> >> R. >> >> >> >> On Jul 07, Dima Pasechnik wrote: >> >> >The ticket https://trac.sagemath.org/ticket/30076 >> >> >does few changes to docs to remove information on to be removed in 9.1 >> >> >sagenb and its >> >> >worksheets (sws format). >> >> > >> >> >I had to touch files in src/doc/*/tutorial/, and while managing this >> >> >for en/de/ru, the remaining >> >> >languages are done with help of google translate. I am in particular >> >> >worried about Japanese. >> >> > >> >> >Please step forward and check these changes out in >> >> >https://git.sagemath.org/sage.git/diff?id2=a79b0fc01dc37445087a9c456a7cd0d07921eef9=a9ca087205be1db6db8a8d9cd527eb765f3c8442 >> >> > >> >> >Thanks in advance, >> >> >Dima >> >> > >> >> >-- >> >> >You received this message because you are subscribed to the Google Groups "sage-support" group. >> >> >To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >> >> >To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq20_fYgJJjqfPwpiXvFqgmfDu_wcgK3EVYeh-QS%3Da%2BF_g%40mail.gmail.com. >> >> >> >> -- >> >> You received this message because you are subscribed to the Google Groups "sage-support" group. >> >> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >> >> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707110159.GA516130%40vertex. >> > >> >-- >> >You received this message because you are subscribed to the Google Groups "sage-support" group. >> >To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >> >To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq2KsiQNZJ-x0HgthEChALJTSjAjNt6t%2BjOptD6E1Jfmtg%40mail.gmail.com. >> >> -- >> You received this message because you are subscribed to the Google Groups "sage-support" group. >> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707115832.GA518797%40vertex. > >-- >You received this message because you are subscribed to the Google Groups "sage-support" group. >To unsubscribe from this
Re: [sage-support] speakers of FR/PT/ES/JP sought to check edits in src/doc on #30076
On Jul 07, Dima Pasechnik wrote: On Tue, Jul 7, 2020 at 12:58 PM 'Reimundo Heluani' via sage-support wrote: On Jul 07, Dima Pasechnik wrote: >On Tue, Jul 7, 2020 at 12:02 PM 'Reimundo Heluani' via sage-support > wrote: >> >> Hi Dima, "Interfaz" doesn't have an accent in Spanish >> >> https://dle.rae.es/interfaz > >Thanks! >It was actually already in the file. Care to check the complete text? >https://git.sagemath.org/sage.git/tree/src/doc/es/tutorial/introduction.rst?id=a9ca087205be1db6db8a8d9cd527eb765f3c8442 > Attached is a patch, it's mainly accents, I haven't gone into grammar, but the text seemed fine to me on general lines. sorry, your patch does not apply - something went wrong with file encoding, I guess. Could you perhaps push a branch with your changes somewhere, or use git format-patch to create a patch one can email? That is weird, I took care of color escapes. Anyway attached is a format-patch one and also just in case you can find it in u/heluani/es/tutorial/introduction Cheers, R. Thanks, Dima Best, R. > >> >> Cheers, >> >> R. >> >> On Jul 07, Dima Pasechnik wrote: >> >The ticket https://trac.sagemath.org/ticket/30076 >> >does few changes to docs to remove information on to be removed in 9.1 >> >sagenb and its >> >worksheets (sws format). >> > >> >I had to touch files in src/doc/*/tutorial/, and while managing this >> >for en/de/ru, the remaining >> >languages are done with help of google translate. I am in particular >> >worried about Japanese. >> > >> >Please step forward and check these changes out in >> >https://git.sagemath.org/sage.git/diff?id2=a79b0fc01dc37445087a9c456a7cd0d07921eef9=a9ca087205be1db6db8a8d9cd527eb765f3c8442 >> > >> >Thanks in advance, >> >Dima >> > >> >-- >> >You received this message because you are subscribed to the Google Groups "sage-support" group. >> >To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >> >To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq20_fYgJJjqfPwpiXvFqgmfDu_wcgK3EVYeh-QS%3Da%2BF_g%40mail.gmail.com. >> >> -- >> You received this message because you are subscribed to the Google Groups "sage-support" group. >> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707110159.GA516130%40vertex. > >-- >You received this message because you are subscribed to the Google Groups "sage-support" group. >To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq2KsiQNZJ-x0HgthEChALJTSjAjNt6t%2BjOptD6E1Jfmtg%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707115832.GA518797%40vertex. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq1Q-Jtf0w6sD49zHPApuR2q0yKOh%3DvXiDGvyQQx1oefWQ%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707132655.GD519058%40vertex. From b9ed691cdcb7bf5e46295b99ff5abdf0fe98d2bd Mon Sep 17 00:00:00 2001 From: Reimundo Heluani Date: Tue, 7 Jul 2020 10:22:10 -0300 Subject: [PATCH] small fixes to the tutorial in spanish --- src/doc/es/tutorial/introduction.rst | 14 +++--- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/doc/es/tutorial/introduction.rst b/src/doc/es/tutorial/introduction.rst index 999e26cb4b..9b4d1f37a7 100644 --- a/src/doc/es/tutorial/introduction.rst +++ b/src/doc/es/tutorial/introduction.rst @@ -3,9 +3,9 @@ Introducción Completar este tutorial debería llevarte unas 3 o 4 horas. Pue
Re: [sage-support] speakers of FR/PT/ES/JP sought to check edits in src/doc on #30076
On Jul 07, Dima Pasechnik wrote: On Tue, Jul 7, 2020 at 12:02 PM 'Reimundo Heluani' via sage-support wrote: Hi Dima, "Interfaz" doesn't have an accent in Spanish https://dle.rae.es/interfaz Thanks! It was actually already in the file. Care to check the complete text? https://git.sagemath.org/sage.git/tree/src/doc/es/tutorial/introduction.rst?id=a9ca087205be1db6db8a8d9cd527eb765f3c8442 Attached is a patch, it's mainly accents, I haven't gone into grammar, but the text seemed fine to me on general lines. Best, R. Cheers, R. On Jul 07, Dima Pasechnik wrote: >The ticket https://trac.sagemath.org/ticket/30076 >does few changes to docs to remove information on to be removed in 9.1 >sagenb and its >worksheets (sws format). > >I had to touch files in src/doc/*/tutorial/, and while managing this >for en/de/ru, the remaining >languages are done with help of google translate. I am in particular >worried about Japanese. > >Please step forward and check these changes out in >https://git.sagemath.org/sage.git/diff?id2=a79b0fc01dc37445087a9c456a7cd0d07921eef9=a9ca087205be1db6db8a8d9cd527eb765f3c8442 > >Thanks in advance, >Dima > >-- >You received this message because you are subscribed to the Google Groups "sage-support" group. >To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. >To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq20_fYgJJjqfPwpiXvFqgmfDu_wcgK3EVYeh-QS%3Da%2BF_g%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707110159.GA516130%40vertex. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq2KsiQNZJ-x0HgthEChALJTSjAjNt6t%2BjOptD6E1Jfmtg%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707115832.GA518797%40vertex. diff --git a/src/doc/es/tutorial/introduction.rst b/src/doc/es/tutorial/introduction.rst index 999e26cb4b..9b4d1f37a7 100644 --- a/src/doc/es/tutorial/introduction.rst +++ b/src/doc/es/tutorial/introduction.rst @@ -3,9 +3,9 @@ Introducción Completar este tutorial debería llevarte unas 3 o 4 horas. Puedes leerlo en versión HTML o PDF, o desde el -notebook (interfaz interactiva vía web) de Sage (Haz click en ``Help``, luego haz click en ``Tutorial`` para trabajar interactivamente en el tutorial desde dentro de Sage). +notebook (interfaz interactiva vía web) de Sage (haz click en ``Help``, luego haz click en ``Tutorial`` para trabajar interactivamente en el tutorial desde dentro de Sage). -Aunque gran parte de Sage está implementado usando el lenguaje de programación +Aunque gran parte de Sage está implementada usando el lenguaje de programación Python, no es necesario ningún conocimiento previo de Python para poder leer este tutorial. En algún punto seguramente querrás aprender Python (¡un lenguaje muy divertido!), y hay muchos recursos gratuitos excelentes para hacerlo, incluyendo [PyT]_ y [Dive]_. @@ -56,7 +56,7 @@ Instalación Si no tienes instalado Sage en tu computador y sólo quieres -probar algunos comandos, usa la versión en linea en http://sagecell.sagemath.org. +probar algunos comandos, usa la versión en línea en http://sagecell.sagemath.org. Mira la Guía De Instalación Para Sage en la sección de documentación de la página web principal de [Sage]_ para obtener instrucciones sobre cómo instalar @@ -84,7 +84,7 @@ Sage en tu computador. Aquí hacemos simplemente dos comentarios: los resultados de tus cálculos con Sage en un archivo LaTeX), necesitarás hacerle conocer SageTeX a tu distribución de TeX. Para hacer esto, consulta la sección - "Haciendo que TeX conozca a SageTeX" en la guía de intalación de Sage + "Haciendo que TeX conozca a SageTeX" en la guía de instalación de Sage `Sage installation guide <http://doc.sagemath.org/html/en/installation/index.html>`_ (`Este enlace <../../en/installation/index.html>`_ debería llevarte a tu copia @@ -104,7 +104,7 @@ Formas de usar Sage Puedes usar
Re: [sage-support] speakers of FR/PT/ES/JP sought to check edits in src/doc on #30076
Hi Dima, "Interfaz" doesn't have an accent in Spanish https://dle.rae.es/interfaz Cheers, R. On Jul 07, Dima Pasechnik wrote: The ticket https://trac.sagemath.org/ticket/30076 does few changes to docs to remove information on to be removed in 9.1 sagenb and its worksheets (sws format). I had to touch files in src/doc/*/tutorial/, and while managing this for en/de/ru, the remaining languages are done with help of google translate. I am in particular worried about Japanese. Please step forward and check these changes out in https://git.sagemath.org/sage.git/diff?id2=a79b0fc01dc37445087a9c456a7cd0d07921eef9=a9ca087205be1db6db8a8d9cd527eb765f3c8442 Thanks in advance, Dima -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq20_fYgJJjqfPwpiXvFqgmfDu_wcgK3EVYeh-QS%3Da%2BF_g%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200707110159.GA516130%40vertex. signature.asc Description: PGP signature
[sage-support] number of threads with sage -b
Is there a way of requesting a number of threads with 'sage -b'? something like MAKE='make -j7' sage -b? Cheers, R. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200704190353.GA353070%40vertex. signature.asc Description: PGP signature
[sage-support] Groebner bases for supercommutative polynomial algebras.
Is there an implementation of such a thing as in the title? I am facing the following design problem, and I'd love to get some pointers. I have a category of parents that are infinite dimensional super algebras but are graded with finite dimensional graded pieces. For the sake of clarity think of a polynomial differential algebra that is QQ[x_1,x_2,x_3,...,y_1,y_2,y_3,] where the variables x_i and y_i have degree i. I can work with ideals and quotients of these guys by computing the quotient degree by degree. Now the issue is to compute the graded dimension of the quotient as a formal power series. The way I am implementing this is by computing a basis of the degree part n of the algebra and then the degree part n of the ideal. In the particular case of the polynomial algebra above, I have another implementation: if I only care about the hilbert series up to degree n, then I work in the quotient by (x_j, y_j) for j>n, this gives me a finite type polynomial algebra and I can ask for a grobner basis of the ideal before computing the hilbert series. This is several orders of magnitude faster. Now my question: in my setup I need some of the x's or y's to be odd, anticommutative variables. And even worse their weights might be rational numbers and not only integers. Buchberger's algorithm works with minimal variations in the super-commutative case. If I disregard the issue of rational degrees, is there an implementation of these "grobner bases" for super commutative algebras in Sage? Best, R. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200617212119.GA262569%40vertex. signature.asc Description: PGP signature
[sage-support] patchbot frequent "Temporary failure in name resolution"
I have been trying to set up sage-patchbot but I am running into a problem. Quite often (but not always and I cannot discern when) it fails with a urllib.error.URLError: So for example today it checked base and then failed in the first ticket. Yesterday, it failed even when checking base. The log from the last ticket is attached. My connection is stable. Any idea what this can be? Cheers, R. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/20200515125632.GA158243%40vertex. 2020-05-15 12:48:21 Traceback (most recent call last): File "/usr/lib/python3.8/urllib/request.py", line 1319, in do_open h.request(req.get_method(), req.selector, req.data, headers, File "/usr/lib/python3.8/http/client.py", line 1230, in request self._send_request(method, url, body, headers, encode_chunked) File "/usr/lib/python3.8/http/client.py", line 1276, in _send_request self.endheaders(body, encode_chunked=encode_chunked) File "/usr/lib/python3.8/http/client.py", line 1225, in endheaders self._send_output(message_body, encode_chunked=encode_chunked) File "/usr/lib/python3.8/http/client.py", line 1004, in _send_output self.send(msg) File "/usr/lib/python3.8/http/client.py", line 944, in send self.connect() File "/usr/lib/python3.8/http/client.py", line 1392, in connect super().connect() File "/usr/lib/python3.8/http/client.py", line 915, in connect self.sock = self._create_connection( File "/usr/lib/python3.8/socket.py", line 787, in create_connection for res in getaddrinfo(host, port, 0, SOCK_STREAM): File "/usr/lib/python3.8/socket.py", line 918, in getaddrinfo for res in _socket.getaddrinfo(host, port, family, type, proto, flags): socket.gaierror: [Errno -3] Temporary failure in name resolution During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/digest_transport.py", line 93, in single_request response = self.opener.open(req) File "/usr/lib/python3.8/urllib/request.py", line 525, in open response = self._open(req, data) File "/usr/lib/python3.8/urllib/request.py", line 542, in _open result = self._call_chain(self.handle_open, protocol, protocol + File "/usr/lib/python3.8/urllib/request.py", line 502, in _call_chain result = func(*args) File "/usr/lib/python3.8/urllib/request.py", line 1362, in https_open return self.do_open(http.client.HTTPSConnection, req, File "/usr/lib/python3.8/urllib/request.py", line 1322, in do_open raise URLError(err) urllib.error.URLError: During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/patchbot.py", line 1062, in test_a_ticket pull_from_trac(self.sage_root, ticket['id'], force=True, File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/trac.py", line 318, in pull_from_trac info = scrape(ticket_id) File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/trac.py", line 153, in scrape return get_ticket_info_from_trac_server(ticket_id) File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/trac.py", line 88, in get_ticket_info_from_trac_server trac_info = trac_server.load(ticket_id) File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/trac.py", line 407, in load ticket = TracTicket(ticket_number, self.anonymous_proxy) File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/trac_ticket.py", line 160, in TracTicket change_log = server_proxy.ticket.changeLog(ticket_number) File "/usr/lib/python3.8/xmlrpc/client.py", line 1109, in __call__ return self.__send(self.__name, args) File "/usr/lib/python3.8/xmlrpc/client.py", line 1450, in __request response = self.__transport.request( File "/usr/lib/python3.8/xmlrpc/client.py", line 1153, in request return self.single_request(host, handler, request_body, verbose) File "/home/sage-patchbot/.local/lib/python3.8/site-packages/sage_patchbot/digest_transport.py", line 99, in single_request raise TracConnectionError(e.reason) sage_patchbot.trac_error.TracConnectionError: [Errno -3] Temporary failure in name resolution 2020-05-15 12:48:31 10 seconds signature.asc Description: PGP signature
Re: [sage-support] building docs with sphinx-1.8.5 fails with existing _static
On Apr 23, Jean-Florent Raymond wrote:
Hello,
A workaround is to run "make" after "make doc-clean".
It worked for me.
Thanks! I should've checked sage-devel as well.
R.
Source:
https://groups.google.com/forum/?utm_medium=email_source=footer#!msg/sage-devel/RHMEHCTp_pU/12BWV897AgAJ
Related: https://github.com/sphinx-doc/sphinx/issues/7407
Best regards,
Jean-Florent.
Le 23/04/2020 à 13:20, 'Reimundo Heluani' via sage-support a écrit :
Hello, I posted this on ask.sagemath.org
https://ask.sagemath.org/question/50925/building-docs-with-sphinx-185/
On my own git branch, after the last pull I hit this error on "sage
--docbuild refernce html" even after a "make doc-clean".
This looks like what's described in this ticket
https://trac.sagemath.org/ticket/26451 but this is already applied in my
branch
The link _static on
local/share/doc/sage/html/en/reference/references/_static points to a
non-existing directory ../_static
After a "make doc-clean" it gets erased but it is recreated on the run
of "sage --docbuild"
This is $ uname -a
Linux rye 5.6.3-arch1-1 #1 SMP PREEMPT Wed, 08 Apr 2020 07:47:16 +
x86_64 GNU/Linux
on my own sage git which is very much up to date
sage: version()
'SageMath version 9.1.beta8, Release Date: 2020-03-18'
The log of the error is
# Sphinx version: 1.8.5
# Python version: 3.7.3 (CPython)
# Docutils version: 0.14 # Jinja2 version: 2.10
# Last messages:
# linking _static directory.
# copying extra files...
# done
# dumping search index in English (code: en) ...
# done
# dumping object inventory...
# done
# build succeeded, 1295 warnings.
# # The HTML pages are in
local/share/doc/sage/html/en/reference/references.
# Loaded extensions:
# sphinx.ext.mathjax (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/mathjax.py
# alabaster (0.7.12) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/alabaster/__init__.py
# inventory_builder (unknown version) from
/home/user/Documents/code/sage/sage/src/sage_setup/docbuild/ext/inventory_builder.py
# multidocs (unknown version) from
/home/user/Documents/code/sage/sage/src/sage_setup/docbuild/ext/multidocs.py
# sage_autodoc (1.8.5) from
/home/user/Documents/code/sage/sage/src/sage_setup/docbuild/ext/sage_autodoc.py
# sphinx.ext.graphviz (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/graphviz.py
# sphinx.ext.inheritance_diagram (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/inheritance_diagram.py
# sphinx.ext.todo (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/todo.py
# sphinx.ext.extlinks (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/extlinks.py
# IPython.sphinxext.ipython_directive (unknown version) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/IPython/sphinxext/ipython_directive.py
# matplotlib.sphinxext.plot_directive (unknown version) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/matplotlib/sphinxext/plot_directive.py
Traceback (most recent call last):
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/cmd/build.py",
line 304, in build_main
app.build(args.force_all, filenames)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/application.py",
line 369, in build
self.emit('build-finished', None)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/application.py",
line 510, in emit
return self.events.emit(event, self, *args)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/events.py",
line 80, in emit
results.append(callback(*args))
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/graphviz.py",
line 414, in on_build_finished
copy_asset(src, dst)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/util/fileutil.py",
line 81, in copy_asset
ensuredir(destination)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/util/osutil.py",
line 90, in ensuredir
os.makedirs(path)
File "/home/user/Documents/code/sage/sage/local/lib/python3.7/os.py",
line 221, in makedirs
mkdir(name, mode)
FileExistsError: [Errno 17] File exists:
'/home/user/Documents/code/sage/sage/local/share/doc/sage/html/en/reference/references/_static'
I appreciate any help.
Thanks,
R.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsub
[sage-support] building docs with sphinx-1.8.5 fails with existing _static
Hello, I posted this on ask.sagemath.org
https://ask.sagemath.org/question/50925/building-docs-with-sphinx-185/
On my own git branch, after the last pull I hit this error on "sage --docbuild refernce
html" even after a "make doc-clean".
This looks like what's described in this ticket
https://trac.sagemath.org/ticket/26451 but this is already applied in my branch
The link _static on local/share/doc/sage/html/en/reference/references/_static
points to a non-existing directory ../_static
After a "make doc-clean" it gets erased but it is recreated on the run of "sage
--docbuild"
This is $ uname -a
Linux rye 5.6.3-arch1-1 #1 SMP PREEMPT Wed, 08 Apr 2020 07:47:16 + x86_64
GNU/Linux
on my own sage git which is very much up to date
sage: version()
'SageMath version 9.1.beta8, Release Date: 2020-03-18'
The log of the error is
# Sphinx version: 1.8.5
# Python version: 3.7.3 (CPython)
# Docutils version: 0.14 # Jinja2 version: 2.10
# Last messages:
# linking _static directory.
# copying extra files...
# done
# dumping search index in English (code: en) ...
# done
# dumping object inventory...
# done
# build succeeded, 1295 warnings.
# # The HTML pages are in
local/share/doc/sage/html/en/reference/references.
# Loaded extensions:
# sphinx.ext.mathjax (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/mathjax.py
# alabaster (0.7.12) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/alabaster/__init__.py
# inventory_builder (unknown version) from
/home/user/Documents/code/sage/sage/src/sage_setup/docbuild/ext/inventory_builder.py
# multidocs (unknown version) from
/home/user/Documents/code/sage/sage/src/sage_setup/docbuild/ext/multidocs.py
# sage_autodoc (1.8.5) from
/home/user/Documents/code/sage/sage/src/sage_setup/docbuild/ext/sage_autodoc.py
# sphinx.ext.graphviz (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/graphviz.py
# sphinx.ext.inheritance_diagram (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/inheritance_diagram.py
# sphinx.ext.todo (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/todo.py
# sphinx.ext.extlinks (1.8.5) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/extlinks.py
# IPython.sphinxext.ipython_directive (unknown version) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/IPython/sphinxext/ipython_directive.py
# matplotlib.sphinxext.plot_directive (unknown version) from
/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/matplotlib/sphinxext/plot_directive.py
Traceback (most recent call last):
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/cmd/build.py",
line 304, in build_main
app.build(args.force_all, filenames)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/application.py",
line 369, in build
self.emit('build-finished', None)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/application.py",
line 510, in emit
return self.events.emit(event, self, *args)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/events.py",
line 80, in emit
results.append(callback(*args))
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/ext/graphviz.py",
line 414, in on_build_finished
copy_asset(src, dst)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/util/fileutil.py",
line 81, in copy_asset
ensuredir(destination)
File
"/home/user/Documents/code/sage/sage/local/lib/python3.7/site-packages/sphinx/util/osutil.py",
line 90, in ensuredir
os.makedirs(path)
File "/home/user/Documents/code/sage/sage/local/lib/python3.7/os.py", line
221, in makedirs
mkdir(name, mode)
FileExistsError: [Errno 17] File exists:
'/home/user/Documents/code/sage/sage/local/share/doc/sage/html/en/reference/references/_static'
I appreciate any help.
Thanks,
R.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/20200423112039.GB48297%40rye.
signature.asc
Description: PGP signature
