Ask Your Question
0

convert polynomial rings from Sage to Singular

asked 2016-02-19 12:03:01 -0500

admiraltso gravatar image

Suppose I have a ring R in sage (I have in mind a polynomial ring modulo some ideal). Is there a way to convert it into a ring in Singular?

I want to use the tensor product function (which singular provides) on two rings (and then convert back to sage) but singular doesn't have (natural) constructors for the rings I'd like to tensor.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
0

answered 2016-02-19 15:11:24 -0500

tmonteil gravatar image

You can try something like:

sage: R.<x,y> = QQ[]
sage: R
Multivariate Polynomial Ring in x, y over Rational Field
sage: I = R.ideal(x^2+y)
sage: S = R.quotient(I)
sage: S
Quotient of Multivariate Polynomial Ring in x, y over Rational Field by the ideal (x^2 + y)
sage: s = S._singular_()
sage: s
//   characteristic : 0
//   number of vars : 2
//        block   1 : ordering dp
//                  : names    x y
//        block   2 : ordering C
// quotient ring from ideal
_[1]=x2+y
sage: type(s)
<class 'sage.interfaces.singular.SingularElement'>
edit flag offensive delete link more

Comments

how to I find functions like self._singular_() (also self._name? (they don't seem to come up in a google search of the documentation)

admiraltso gravatar imageadmiraltso ( 2016-02-19 20:47:20 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-02-19 12:03:01 -0500

Seen: 85 times

Last updated: Feb 19 '16