Subextension?

Returns true if one extension is a subextension of the other.

Syntax

subextension?(Extension, Extension)

Description

Given two extensions A and B, returns true if B is an extension of A, and false otherwise.

abstract_algebra.subextension_bool.calc.png