Hi Michael!
On Feb 25, 12:17 pm, Michael Brickenstein wrote:
> In my slimgb test files, usually I do the following:
> - normalize the leading coefficient to 1
> - consider only the leading terms
> - sort the list
> If the algorithm gives back not necessarily a reduced GB, but a
> minimal GB, we
Hi!
It's true, that redSB might have some influence on the code run inside
Singular.
In my slimgb test files, usually I do the following:
- normalize the leading coefficient to 1
- consider only the leading terms
- sort the list
If the algorithm gives back not necessarily a reduced GB, but a
minim
Hi Martin,
On Feb 23, 4:08 pm, Martin Albrecht
wrote:
> > Wouldn't it make sense to use option(redSB) for the doc tests, since
> > otherwise the result is mathematically not well defined?
>
> I disagree. The result is well defined, its just not necessarily precise :)
>
> Also, we are testing th
> Wouldn't it make sense to use option(redSB) for the doc tests, since
> otherwise the result is mathematically not well defined?
I disagree. The result is well defined, its just not necessarily precise :)
Also, we are testing the behaviour of the groebner() function in that doctest
and thus I
PS:
On Feb 23, 3:55 pm, Simon King wrote:
> Interestingly, groebner() in Singular-3-1-0-Beta yields a result that
> differs from both slimgb and std.
According to option(prot), this is since groebner() now uses hilbert
driven std on this example.
Cheers,
Simon
--~--~-~--~~--
Hi Martin,
On Feb 23, 2:41 pm, Martin Albrecht
wrote:
> Simon, can you trace the commands that go in and out of Singular for this? I
> think you can set some logfile attribute for the Singular pexpect interface.
Yes, actually it results in two log-files. Both are at
http://sage.math.washington.
On Feb 23, 5:41 am, Martin Albrecht
wrote:
> Simon reported this doctest failure with his custom Singular 3-1-0 and
> sage-3.3:
Hi,
> > > File
> > > "/home/king/SAGE/devel/sage-3.2.3/devel/sage/sage/interfaces/singular.py"
> > >, line 116:
> > > sage: I2
> > > Expected:
> > > x1^2*x2^
Simon reported this doctest failure with his custom Singular 3-1-0 and
sage-3.3:
> > File
> > "/home/king/SAGE/devel/sage-3.2.3/devel/sage/sage/interfaces/singular.py"
> >, line 116:
> > sage: I2
> > Expected:
> > x1^2*x2^2,
> > x0*x2^3-x1^2*x2^2+x1*x2^3,
> > x0*x1-x0*x2-x1*x2,
>
