Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(field_theory): intermediate fields #4181

Closed
wants to merge 2 commits into from
Closed

[Merged by Bors] - feat(field_theory): intermediate fields #4181

wants to merge 2 commits into from

Commits on Sep 22, 2020

  1. feat(field_theory): intermediate fields 

    Define `intermediate_field K L` as a structure extending `subalgebra K L`
and `subfield L`. Requires re-bundling `subalgebra`, which will be another PR.
    @Vierkantor
    Vierkantor committed Sep 22, 2020
    Configuration menu
    Copy the full SHA
    50a3771 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into intermediate_field

    @Vierkantor
    Vierkantor committed Sep 22, 2020
    Configuration menu
    Copy the full SHA
    2bf47c0 View commit details
    Browse the repository at this point in the history