Opened 5 years ago

#841 new bug

Matrix ordering being mistaken as non-global

Reported by: ren Owned by: somebody
Priority: major Milestone: 4-2-0 and higher
Component: dontKnow Version: 4-1-1
Keywords: Cc:

Description

I'm currently doing some tropical computations with zero-dimensional ideals in which I need to apply some unimodular transformations (i.e., morphisms which operate on the exponent vectors via a non-negative unimodular map). I can speed the process up by also changing the ordering so that a Groebner basis is mapped to a Groebner basis, but Singular seems to mistakes some Matrix ordering as non-global:

> intmat M[2][2] = 1,0,-3,1;
> ring r = 0,(x,y),M(M);
> basering;
// coefficients: QQ
// number of vars : 2
//        block   1 : ordering M
//                  : names    x y
//                  : weights  1 0
//                  : weights  -3 1
//        block   2 : ordering C
> x+1; // x>1
x+1
> y+1; // y>1
y+1
> ideal I = x,y;
> option(redSB);
> I = std(I);
> ring s = 0,(x,y),lp;
> fglm(r,I);
   ? only works for global orderings
   ? ring r and current ring are incompatible
   ? error occurred in or before STDIN line 10: `fglm(r,I);`

Change History (0)

Note: See TracTickets for help on using tickets.