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);`
Note: See
TracTickets for help on using
tickets.