Opened 5 years ago

Last modified 23 months ago

#21413 closed enhancement

A class for ring extensions — at Version 5

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: u/caruso/21413/class_ring_extension (Commits, GitHub, GitLab) Commit: 036fb2a439cd9ee534d8e9489da02a3dde2452ea
Dependencies: Stopgaps:

Status badges

Description (last modified by caruso)

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.

This ticket implements very generic classes for ring extensions. Other more specific classes (e.g. for field extensions or even finite field extensions) are coming soon...

Change History (5)

comment:1 Changed 5 years ago by caruso

  • Branch set to u/caruso/21413/class_ring_extension

comment:2 Changed 5 years ago by git

  • Commit set to 556da4d4c006f305384a3368018809323d0e0997

Branch pushed to git repo; I updated commit sha1. New commits:

556da4dCoercion system improved

comment:3 Changed 5 years ago by git

  • Commit changed from 556da4d4c006f305384a3368018809323d0e0997 to c82968fff27df846064805774d1d3bf39ddc9759

Branch pushed to git repo; I updated commit sha1. New commits:

b5e3eedCoercion in scalar restriction and scalar extension
c82968fSmall tutorial

comment:4 Changed 5 years ago by git

  • Commit changed from c82968fff27df846064805774d1d3bf39ddc9759 to 036fb2a439cd9ee534d8e9489da02a3dde2452ea

Branch pushed to git repo; I updated commit sha1. New commits:

f0a7ce4Doctest from the class AlgebraFromMorphism and some methods of this class
b6c9a33Doctest fixed
67c82c7Merge branch 'develop' into 21413/class_ring_extension
8d70dbeCode split in several files. More doctests.
efa3689Doctest for BaseActionOnRing
7f8ce2dDoctest for the class AlgebraToRing_coercion
991cc70Doctest for the class AlgebraFMElement
036fb2aAdding licence & author

comment:5 Changed 5 years ago by caruso

  • Description modified (diff)
  • Status changed from new to needs_review
Note: See TracTickets for help on using tickets.