Opened 11 years ago

Closed 11 years ago

Last modified 11 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 11 years ago by dreyer

  • Cc dreyer added

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

Alexander

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.