First time here? Check out the FAQ!

Ask Your Question
1

subgroup of number field unit group

asked 9 years ago

Kate Stange gravatar image

updated 9 years ago

FrédéricC gravatar image

I would like to be able to create subgroups of a unit group generated by given elements. I haven't, thus far, been able to find a way to make this work. The following doesn't work:

N.<a> = NumberField(x^3+2)
G = N.unit_group()
g = G.random_element()
G.subgroup([g])

Can anyone help me find a workaround?

(Note: it appears to be a bug, see trac.sagemath.org/ticket/18863, but I'm just looking for a workaround for now.)

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
1

answered 9 years ago

tmonteil gravatar image

It seems you hit a bug with gap interface (though i am not able to explain further):

sage: G.inject_variables()
Defining u0, u1
sage: gap(u0)
f1
sage: gap(u1)
TypeError: Gap produced error output
Error, Variable: 'u1' must have a value
       executing $sage5:=u1;;

sage: u1.value()
a + 1
sage: gap(u1.value())
a+1

It is not clear to me what kind of value is gap requiring. I tried with an embedded number field, but i get the same error.

Preview: (hide)
link

Comments

Ticket # ?

kcrisman gravatar imagekcrisman ( 9 years ago )

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 9 years ago

Seen: 572 times

Last updated: Jul 08 '15