Opened 14 years ago

Closed 14 years ago

Last modified 14 years ago

#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 14 years ago by dreyer

Cc: dreyer added

Curious: Using lp, the same examples is working... Regards,

Alexander

comment:2 Changed 14 years ago by hannes

Resolution: fixed
Status: newclosed

comment:3 Changed 14 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 14 years ago by seelisch

Milestone: Releases 3-1-1 and higher
Note: See TracTickets for help on using tickets.