#7797: Full interface to letterplace from singular
-------------------------------------------------------------------+--------
Reporter: burcin |
Owner: burcin
Type: enhancement |
Status: needs_work
Priority: major |
Milestone: sage-5.4
Component: algebra |
Resolution:
Keywords: singular, free algebra, letterplace | Work
issues:
Report Upstream: None of the above - read trac for reasoning. |
Reviewers: Alexander Dreyer
Authors: Simon King, Michael Brickenstein, Burcin Erocal | Merged
in:
Dependencies: #4539, #11268, #12461, #12749, #12988, #13237 |
Stopgaps:
-------------------------------------------------------------------+--------
Comment (by SimonKing):
Replying to [comment:80 jdemeyer]:
> Replying to [comment:79 SimonKing]:
> > I.e., is the problem on the side of Singular, or of the wrapper?
> How can I check? What commands should I run in Singular to check?
>
> Also, I added #13237 (Upgrade to Singular-3-1-5) as dependency just in
case it matters. My tests on Solaris SPARC were done with the new
Singular from #13237.
Hans Schönemann has tested it. He used Singular-3-1-5, or in more detail:
{{{
Singular for SunOS-5 version 3-1-5 (3150) Aug 27 2012 19:23:52
with
factory(@(#) factoryVersion = 3.1.5),libfac(3.1.5,July 2012),
GMP(4.2),NTL(5.5.2),64bit,static readline,Plural,DBM,
dynamic modules,dynamic
p_Procs,OM_CHECK=0,OM_TRACK=0,random=1346170574
CC= gcc -m64 -mptr64 -mcpu=ultrasparc3 -O2 -w -fomit-frame-pointer
-pipe -DNDEBUG -DOM_NDEBUG -DSunOS_5 -DHAVE_CONFIG_H,
CXX= g++ -m64 -mptr64 -mcpu=ultrasparc3 -O2 -w -fomit-frame-
pointer -I.. -I/users/cip/alggeom/hannes/galois64 -pipe -DNDEBUG
-DOM_NDEBUG -DSunOS_5 -DHAVE_CONFIG_H (3.3.2)
}}}
The example worked fine, which indicates that it is a problem with my
wrapper. If you want to test it for yourself:
{{{
LIB "freegb.lib";
ring r = 0,(x,y,z),dp;
int d =4; // degree bound
def R = makeLetterplaceRing(d);
setring R;
ideal I = x(1)*y(2) + y(1)*z(2), x(1)*x(2) + x(1)*y(2) - y(1)*x(2) -
y(1)*y(2);
option(redSB); option(redTail);
ideal J = letplaceGBasis(I);
J;
}}}
The expected result is
{{{
==> J[1]=x(1)*y(2)+y(1)*z(2)
==> J[2]=x(1)*x(2)-y(1)*x(2)-y(1)*y(2)-y(1)*z(2)
==> J[3]=y(1)*y(2)*y(3)-y(1)*y(2)*z(3)+y(1)*z(2)*y(3)-y(1)*z(2)*z(3)
==> J[4]=y(1)*y(2)*x(3)+y(1)*y(2)*z(3)+y(1)*z(2)*x(3)+y(1)*z(2)*z(3)
==>
J[5]=y(1)*z(2)*y(3)*y(4)-y(1)*z(2)*y(3)*z(4)+y(1)*z(2)*z(3)*y(4)-y(1)*z(2\
)*z(3)*z(4)
==>
J[6]=y(1)*z(2)*y(3)*x(4)+y(1)*z(2)*y(3)*z(4)+y(1)*z(2)*z(3)*x(4)+y(1)*z(2\
)*z(3)*z(4)
==>
J[7]=y(1)*y(2)*z(3)*y(4)-y(1)*y(2)*z(3)*z(4)+y(1)*z(2)*z(3)*y(4)-y(1)*z(2\
)*z(3)*z(4)
==>
J[8]=y(1)*y(2)*z(3)*x(4)+y(1)*y(2)*z(3)*z(4)+y(1)*z(2)*z(3)*x(4)+y(1)*z(2\
)*z(3)*z(4)
}}}
I will see whether `letplaceGBasis` does anything new - perhaps I can
learn from it?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7797#comment:81>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
