Opened 5 years ago

Last modified 23 months ago

#21413 closed enhancement

A class for ring extensions — at Initial Version

Reported by: caruso Owned by:
Priority: major Milestone: sage-9.1
Component: algebra Keywords: sd75, padicBordeaux
Cc: jsrn, defeo, bruno, nthiery, SimonKing, saraedum Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Sage actually provides a rich framework for dealing with all classical algebraic structures: rings, fields, algebras, etc. Nevertheless, given (for instance) two fields K and L with K \subset L, it is not possible to build the extension L/K as a Sage object. However one can easily imagine methods related to this extension (e.g. degree, discriminant, normal_basis, decompose_on_basis, etc.)

With Bruno Grenet, Johan Rosenkilde and Luca De Feo, we raised this issue at Sage Days 75. A summary of our discussion is available here.

Change History (0)

Note: See TracTickets for help on using tickets.