#137 closed bug (fixed)
"pNorm not possible in the case of coefficient rings."
Reported by: | Martin Albrecht | Owned by: | hannes |
---|---|---|---|
Priority: | major | Milestone: | 3-1-1 |
Component: | singular-kernel | Version: | 3-1-0 |
Keywords: | Cc: | dreyer |
Description
This looks like a bug to me:
SINGULAR / A Computer Algebra System for Polynomial Computations / version 3-1-0 0< by: G.-M. Greuel, G. Pfister, H. Schoenemann \ Mar 2009 FB Mathematik der Universitaet, D-67653 Kaiserslautern \ > ring r= (integer),(x,y,z),dp; // ** You are using coefficients rings which are not fields. // ** Please note that only limited functionality is available // ** for these coefficients. // ** // ** The following commands are meant to work: // ** - basic polynomial arithmetic // ** - std // ** - reduce > poly f = 9*z^2 + 1458*x + 19683*y + 54; > ideal i = 9*x + 243*y - 27*z, z^3 - x; > reduce(f,i); // ** i is no standard basis ? pNorm not possible in the case of coefficient rings. ? error occurred in STDIN line 4: `reduce(f,i);` > reduce(f,std(i)); ? pNorm not possible in the case of coefficient rings. ? error occurred in STDIN line 5: `reduce(f,std(i));`
Change History (4)
comment:1 Changed 11 years ago by dreyer
- Cc dreyer added
comment:2 Changed 11 years ago by hannes
- Resolution set to fixed
- Status changed from new to closed
comment:3 Changed 11 years ago by hannes
tail reduction was not implemented for coeffs of type ring..
Now an implmentation exists for Z, but needs to be extended for Z/m etc.
comment:4 Changed 11 years ago by seelisch
- Milestone set to Releases 3-1-1 and higher
Note: See
TracTickets for help on using
tickets.
Curious:
Using lp, the same examples is working...
Regards,