I think I found what I need with composite_fields. Sorry for the post!
On Monday, July 11, 2016 at 11:50:46 AM UTC-4, Sam Bloom wrote:
>
> Hello,
>
> I'd like to make a subfield of a number field K by adjoining to QQ a list
> of elements from K, with the possibility that
Hello,
I'd like to make a subfield of a number field K by adjoining to QQ a list
of elements from K, with the possibility that for some i, that the minimal
polynomial over QQ of a_(i+1) is *not* irreducible over QQ[a_0, ..., a_i].
As a basic example, I'd like to have
*K. = NumberField(x^2-2)
Thanks. I realized to do this after I sent the message—this should be enough
for what I need.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsub
Hello,
I would like to use Sage to study the reduction at a prime of a modular
abelian variety A over a number field (or at least over QQ). By "modular" I
mean either J0(N), for N a positive integer, or the abelian variety
associated to a particular newform of level N and weight 2.
Is there
