toExtended property

ExtendedGroupElement toExtended

Implementation

ExtendedGroupElement get toExtended =>
    ExtendedGroupElement(X: X * T, Y: Y * Z, Z: Z * T, T: X * Y);