Opened 3 years ago

Last modified 3 years ago

#27479 closed defect

Univariate PolynomialRing with 'negdegrevlex' order does not get 'ds' order in Singular — at Initial Version

Reported by: rburing Owned by:
Priority: major Milestone: sage-8.8
Component: interfaces Keywords: PolynomialRing, Singular, order
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Using _singular_init_() univariate polynomial rings get global monomial ordering lp no matter what:

sage: R.<x> = PolynomialRing(QQ, 1, order='negdegrevlex')
sage: R._singular_init_()
polynomial ring, over a field, global ordering
// coefficients: QQ
// number of vars : 1
//        block   1 : ordering lp
//                  : names    x
//        block   2 : ordering C

Contrast with multivariate:

sage: S.<y,z> = PolynomialRing(QQ, 2, order='negdegrevlex')
sage: S._singular_init_()
polynomial ring, over a field, local ordering
// coefficients: QQ
// number of vars : 2
//        block   1 : ordering ds
//                  : names    y z
//        block   2 : ordering C

As long as neg* orders are allowed (see #10708) this should be fixed (and it seems easy to fix).

Change History (0)

Note: See TracTickets for help on using tickets.