Changes in GB algorithm in Spielwiese since July 2012
15 views
Skip to first unread message
benjamin schnitzler
Dec 31, 2013, 9:08:34 AM12/31/13
to singula...@googlegroups.com
Dear Singular developement team,
we are still working on the Letterplace Shift DVec project for calculating non-commutative GB with the help of Letterplace. Our Algorithm is based on the commutative, adaptions were made to the GB Algorithm and we moved to Spielwiese in July 2012 (after commit cffd3e2f630fbc7b0e35afee97d6fa948cfd0b3e) . After a rough look at the code, I could not spot any changes to the GB part of Singular since then, but I probably have overlooked something. Maybe you know, if there is anything I should care for? What changes to Spielewiese do I yet have to expect (concerning the GB part)?
Best Regards,
Benjamin
antonio.montes
Jan 1, 2014, 7:44:50 AM1/1/14
to singula...@googlegroups.com
Dear Benjamin,
I do not answer to your question, as I do not know if there are any
changes in the GB code.
My interest comes from another point.
I developed the grobcov.lib library that is included in the Singular
distribution, for computing the canonical Gr�bner Cover of a parametric
ideal (commutative). My question is: is it possible to prove the
existence of the canonical Gr�bner Cover for non-commutative parametric
ideals? And if so, can you adapt the commutative grobcov library to
generate the non-commutative Grobner Cover library? The canonical
Grobner Cover is defined and discussed in
A. Montes and M. Wibmer, Gr�bner bases for polynomials systems with
parameters, Journal of Symbolic Computation (2010), 45, 1391-1425.
Since this paper, the code of the grobcov library has been improved,
particularly using the new Kapur-Sun-Wang algorithm for computing the
initial Comprehensive Gr�bner System substituting our previous Buildtree
algorithm.
If you are interested in, you can download it from my web
http://www-ma2.upc.edu/montes/ and please contact with me.
Best regards
Antonio Montes
El 31/12/13 15:08, benjamin schnitzler escribi�:
> --
> You received this message because you are subscribed to the Google
> Groups "singular-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to singular-deve...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
--
Antonio Montes
Universitat Polit�cnica de Catalunya
Departament de Matem�tica Aplicada 2
Tel.: 34+934170797
Mob.: 34+696119455
e-mail: antonio...@upc.edu
url: http://www-ma2.upc.edu/~montes/
I do not answer to your question, as I do not know if there are any
changes in the GB code.
My interest comes from another point.
I developed the grobcov.lib library that is included in the Singular
distribution, for computing the canonical Gr�bner Cover of a parametric
ideal (commutative). My question is: is it possible to prove the
existence of the canonical Gr�bner Cover for non-commutative parametric
ideals? And if so, can you adapt the commutative grobcov library to
generate the non-commutative Grobner Cover library? The canonical
Grobner Cover is defined and discussed in
A. Montes and M. Wibmer, Gr�bner bases for polynomials systems with
parameters, Journal of Symbolic Computation (2010), 45, 1391-1425.
Since this paper, the code of the grobcov library has been improved,
particularly using the new Kapur-Sun-Wang algorithm for computing the
initial Comprehensive Gr�bner System substituting our previous Buildtree
algorithm.
If you are interested in, you can download it from my web
http://www-ma2.upc.edu/montes/ and please contact with me.
Best regards
Antonio Montes
El 31/12/13 15:08, benjamin schnitzler escribi�:
> You received this message because you are subscribed to the Google
> Groups "singular-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to singular-deve...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
--
Antonio Montes
Universitat Polit�cnica de Catalunya
Departament de Matem�tica Aplicada 2
Tel.: 34+934170797
Mob.: 34+696119455
e-mail: antonio...@upc.edu
url: http://www-ma2.upc.edu/~montes/
Reply all
Reply to author
Forward
0 new messages