Ask Your Question

subgroup of number field unit group

asked 2015-07-07 17:59:55 -0500

Kate Stange gravatar image

updated 2015-07-31 10:54:03 -0500

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()

Can anyone help me find a workaround?

(Note: it appears to be a bug, see, but I'm just looking for a workaround for now.)

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2015-07-08 08:48:34 -0500

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)
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())

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.

edit flag offensive delete link more


Ticket # ?

kcrisman gravatar imagekcrisman ( 2015-07-08 09:50:36 -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


Asked: 2015-07-07 17:59:55 -0500

Seen: 163 times

Last updated: Jul 08 '15