Ask Your Question
0

how to define Skew Polynomial Ring over Cyclotomic Field

asked 2017-12-17 04:36:39 -0600

anonymous user

Anonymous

how to define Skew Polynomial Ring in x over Cyclotomic Field of order 7 and degree 6 twisted by zeta7 |--> zeta7^2 when i execute those commands

K = CyclotomicField(7)

sigma = K.hom([K.gen()^2])

S.< x > = K['x',sigma]

I have this message error

AssertionError: coercion from Cyclotomic Field of order 7 and degree 6 to Skew Polynomial Ring in x over Cyclotomic Field of order 7 and degree 6 twisted by zeta7 |--> zeta7^2 already registered or discovered

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
0

answered 2017-12-18 06:13:27 -0600

dan_fulea gravatar image

The following is a workaround. (Some internals want to deal with a ring, this was only a feeling i had while trying to trace back the error. So i also insisted to use only rings.)

R.<X> = PolynomialRing( QQ )
K.<a> = R.quotient( X^6 + X^5 + X^4 + X^3 + X^2 + X + 1 )
g = K.hom( a^2, K )
S.<x> = SkewPolynomialRing( K, g )

Test:

print S
print (x+a)^3

This gives:

Skew Polynomial Ring in x
over Univariate Quotient Polynomial Ring in a over Rational Field
with modulus X^6 + X^5 + X^4 + X^3 + X^2 + X + 1
twisted by a |--> a^2

x^3 + (a^4 + a^2 + a)*x^2 + (a^4 + a^3 + a^2)*x + a^3

(Result was rearranged manually to fit here in the width.)

edit flag offensive delete link more

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: 2017-12-17 04:36:39 -0600

Seen: 30 times

Last updated: Dec 18 '17