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/ |