Singular
https://www.singular.uni-kl.de/forum/

Using solve with a complex base ring
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2707
Page 1 of 1

Author:  guest [ Mon Jan 08, 2018 5:11 pm ]
Post subject:  Using solve with a complex base ring

In the manual, it says that the
Code:
solve
function assumes that the base ring is either complex or without parameters. However, when I try to use the
Code:
solve
function with a complex base ring, I get the error that "basering has parameters". Should I be defining my base ring differently, or does
Code:
solve
not work with a complex base ring?

Code:
LIB "solve.lib";
ring r = complex, (x,y), dp;
ideal I = ((x-5)*y+16)/32, y^2-x^3-5*x-10;
solve(I);

Author:  hannes [ Tue Jan 09, 2018 3:30 pm ]
Post subject:  Re: Using solve with a complex base ring

Download
https://raw.githubusercontent.com/Singular/Sources/spielwiese/Singular/LIB/triang.lib
and substitute your triang.lib with it.
(or apply the fix:
https://github.com/Singular/Sources/commit/6329a81b7cafaee38b65741b7f22b6dda976a133)

Author:  guest [ Tue Jan 09, 2018 10:35 pm ]
Post subject:  Re: Using solve with a complex base ring

Wonderful, thank you!

Should charstr(r) be charstr(basering)?

Author:  hannes [ Thu Jan 11, 2018 12:31 pm ]
Post subject:  Re: Using solve with a complex base ring

Yes, the correct fix is
https://github.com/Singular/Sources/commit/a5506e9bcabe897f284fb0d9c22069461daa5b74,
as the routines of triang.lib MAY require factorization of polynomials
which is not implemented for complex (i.e. inexact) coeffcients.

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/