Skip to content

remove BaseNumberFieldExtra #78

@edgarcosta

Description

@edgarcosta

@SamSchiavone and I do not understand the purpose of BaseNumberFieldExtra.
It is not used elsewhere in the package except in the examples

see:

@SamSchiavone said:

Yeah, I don't understand the purpose of BaseNumberFieldExtra. It doesn't seem to be used elsewhere in the package. The only real difference I see between the two are here

Lrel<r> := NumberField(f); L := AbsoluteField(Lrel);
L`base := L; L`base_gen := L.1; L`CC := ComplexFieldExtra(prec); L`iota := InfinitePlacesExtra(L)[1];
hKL := hom< K -> L | >;

vs here

Lrel<r> := NumberField(f); L := AbsoluteField(Lrel);
L`base := K`base; L`base_gen := L ! Lrel ! K`base_gen; L`CC := K`CC;

when assigning L`base.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions