Well, everything you need for that is (as far as I know) in Magma.
If something you need is not, ask Magma!
John
2008/5/28 [EMAIL PROTECTED] <[EMAIL PROTECTED]>:
>
> Yes this is descent i'm looking to use it in.
>
> Many thanks,
> Frank
>
>
> On May 28, 9:00 pm, "John Cremona" <[EMAIL PROTECTED]
Yes this is descent i'm looking to use it in.
Many thanks,
Frank
On May 28, 9:00 pm, "John Cremona" <[EMAIL PROTECTED]> wrote:
> Finite fields would be rather easy -- especially in characteristic 2!
>
> John
>
> 2008/5/28 [EMAIL PROTECTED] <[EMAIL PROTECTED]>:
>
>
>
> > Particularly number fiel
Finite fields would be rather easy -- especially in characteristic 2!
John
2008/5/28 [EMAIL PROTECTED] <[EMAIL PROTECTED]>:
>
> Particularly number fields. But if this could be done for more general
> fields then even better:)
>
> Cheers
>
>
> On May 28, 8:43 pm, "William Stein" <[EMAIL PROTECTE
Particularly number fields. But if this could be done for more general
fields then even better:)
Cheers
On May 28, 8:43 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> On Wed, May 28, 2008 at 12:35 PM, [EMAIL PROTECTED]
>
> <[EMAIL PROTECTED]> wrote:
>
> > Hello, I'm stuck trying to do somethi
It does rather depend on what sort of field you mean!
When K is a number field, of course K*/K*^2 is obviously infinte, but
Magma's function pSelmerGroup() (with p=2) allows you to define finite
subgroups of it unramified outside finite sets of primes. This is
heavily used in descent on elliptic
On Wed, May 28, 2008 at 12:35 PM, [EMAIL PROTECTED]
<[EMAIL PROTECTED]> wrote:
>
> Hello, I'm stuck trying to do something in MAGMA (sorry but the
> support on that front seems to be lacking). Having a field K, i'm
> trying to set up K^*/(K^*)^2 with some sort of structure.
>
> Thanks and apologie
