| #. | Data.Semimodule.Matrix |
| $$$ | Data.Semimodule.Transform |
| &&& | Data.Semimodule.Transform |
| * | Data.Semigroup.Multiplicative, Data.Semiring |
| *** | Data.Semimodule.Transform |
| *. | Data.Semimodule, Data.Semimodule.Vector, Data.Semimodule.Matrix |
| + | Data.Semigroup.Additive, Data.Semiring |
| +++ | Data.Semimodule.Transform |
| - | |
| 1 (Type/Class) | Data.Semigroup.Multiplicative, Data.Semiring |
| 2 (Function) | Data.Semigroup.Additive, Data.Semiring |
| .# | Data.Semimodule.Matrix |
| .#. | Data.Semimodule.Matrix |
| .* | Data.Semimodule, Data.Semimodule.Vector, Data.Semimodule.Matrix |
| .*. | Data.Semimodule, Data.Semimodule.Vector, Data.Semimodule.Matrix |
| .@. | Data.Algebra |
| / | Data.Semigroup.Multiplicative, Data.Semifield |
| // | |
| 1 (Function) | Data.Semiring |
| 2 (Function) | Data.Algebra |
| << | Data.Semiring |
| >< | Data.Algebra, Data.Semimodule.Vector |
| abs | Data.Semiring |
| Additive | |
| 1 (Type/Class) | Data.Semigroup.Additive, Data.Semiring |
| 2 (Data Constructor) | Data.Semigroup.Additive, Data.Semiring |
| adivide | Data.Semimodule.Transform |
| adivide' | Data.Semimodule.Transform |
| adivided | Data.Semimodule.Transform |
| Algebra | Data.Algebra |
| anan | Data.Semifield |
| annihilative_multiplication_on | Data.Semiring.Property |
| app | Data.Semimodule.Transform |
| arr | Data.Semimodule.Transform |
| aselect | Data.Semimodule.Transform |
| aselect' | Data.Semimodule.Transform |
| aselected | Data.Semimodule.Transform |
| associative_addition_on | Data.Semiring.Property |
| associative_multiplication_on | Data.Semiring.Property |
| Basis | Data.Semimodule, Data.Semimodule.Vector |
| bdet2 | Data.Semimodule.Matrix |
| bdet3 | Data.Semimodule.Matrix |
| bdet4 | Data.Semimodule.Matrix |
| braid | Data.Semimodule.Transform |
| cancellative_addition_on | Data.Semiring.Property |
| cancellative_multiplication_on | Data.Semiring.Property |
| col | Data.Semimodule.Matrix |
| cols | Data.Semimodule.Transform, Data.Semimodule.Matrix |
| commutative_addition_on | Data.Semiring.Property |
| commutative_multiplication_on | Data.Semiring.Property |
| compl | Data.Semimodule.Transform |
| complr | Data.Semimodule.Transform |
| Composition | Data.Algebra |
| compr | Data.Semimodule.Transform |
| conj | Data.Algebra |
| conjugateWith | Data.Algebra |
| cross | Data.Semiring |
| cross1 | Data.Semiring |
| det2 | Data.Semimodule.Matrix |
| det3 | Data.Semimodule.Matrix |
| det4 | Data.Semimodule.Matrix |
| diagonal | Data.Semimodule.Matrix |
| dirac | Data.Semimodule, Data.Semimodule.Vector, Data.Semimodule.Matrix |
| distributive_cross1_on | Data.Semiring.Property |
| distributive_cross_on | Data.Semiring.Property |
| distributive_finite1_on | Data.Semiring.Property |
| distributive_finite_on | Data.Semiring.Property |
| distributive_on | Data.Semiring.Property |
| div | Data.Semigroup.Multiplicative |
| Division | Data.Algebra |
| ebraid | Data.Semimodule.Transform |
| Endo | Data.Semimodule.Transform |
| eval | Data.Semiring |
| eval1 | Data.Semiring |
| evalWith | Data.Semiring |
| evalWith1 | Data.Semiring |
| exl | Data.Semimodule.Transform |
| exr | Data.Semimodule.Transform |
| Field | Data.Semifield |
| FieldLaw | Data.Semifield |
| fillI2 | Data.Semimodule.Vector |
| fillI3 | Data.Semimodule.Vector |
| fillI4 | Data.Semimodule.Vector |
| first | Data.Semimodule.Transform |
| Free | Data.Semimodule |
| grateRep | Data.Semimodule.Matrix |
| greplicate | Data.Semiring |
| Group | Data.Semiring |
| I2 | Data.Semimodule.Vector |
| i2 | Data.Semimodule.Vector |
| I21 | Data.Semimodule.Vector |
| I22 | Data.Semimodule.Vector |
| I3 | Data.Semimodule.Vector |
| i3 | Data.Semimodule.Vector |
| I31 | Data.Semimodule.Vector |
| I32 | Data.Semimodule.Vector |
| I33 | Data.Semimodule.Vector |
| I4 | Data.Semimodule.Vector |
| i4 | Data.Semimodule.Vector |
| I41 | Data.Semimodule.Vector |
| I42 | Data.Semimodule.Vector |
| I43 | Data.Semimodule.Vector |
| I44 | Data.Semimodule.Vector |
| identity | Data.Semimodule.Matrix |
| idx | Data.Semimodule |
| in1 | Data.Semimodule.Transform |
| in2 | Data.Semimodule.Transform |
| Index | Data.Semimodule.Transform |
| inv | Data.Semiring |
| inv2 | Data.Semimodule.Matrix |
| inv3 | Data.Semimodule.Matrix |
| inv4 | Data.Semimodule.Matrix |
| invmap | Data.Semimodule.Transform |
| left | Data.Semimodule.Transform |
| lempty | Data.Semiring |
| lensRep | Data.Semimodule.Matrix |
| lerp | Data.Semimodule, Data.Semimodule.Vector |
| Loop | Data.Semiring |
| lreplicate | Data.Semiring |
| M22 | Data.Semimodule.Matrix |
| m22 | Data.Semimodule.Matrix |
| M23 | Data.Semimodule.Matrix |
| m23 | Data.Semimodule.Matrix |
| M24 | Data.Semimodule.Matrix |
| m24 | Data.Semimodule.Matrix |
| M32 | Data.Semimodule.Matrix |
| m32 | Data.Semimodule.Matrix |
| M33 | Data.Semimodule.Matrix |
| m33 | Data.Semimodule.Matrix |
| M34 | Data.Semimodule.Matrix |
| m34 | Data.Semimodule.Matrix |
| M42 | Data.Semimodule.Matrix |
| m42 | Data.Semimodule.Matrix |
| M43 | Data.Semimodule.Matrix |
| m43 | Data.Semimodule.Matrix |
| M44 | Data.Semimodule.Matrix |
| m44 | Data.Semimodule.Matrix |
| Magma | Data.Semiring |
| Module | Data.Semimodule |
| morphism_distribitive_on | Data.Semiring.Property |
| morphism_presemiring | Data.Semiring.Property |
| morphism_semiring | Data.Semiring.Property |
| mreplicate | Data.Semiring |
| Multiplicative | |
| 1 (Type/Class) | Data.Semigroup.Multiplicative, Data.Semiring |
| 2 (Data Constructor) | Data.Semigroup.Multiplicative, Data.Semiring |
| multiplyWith | Data.Algebra |
| multl | Data.Semimodule |
| multr | Data.Semimodule |
| negate | Data.Semiring |
| negateDef | Data.Semimodule |
| neutral_addition_on | Data.Semiring.Property |
| neutral_multiplication_on | Data.Semiring.Property |
| ninf | Data.Semifield |
| nonunital_on | Data.Semiring.Property |
| norm | Data.Algebra |
| normalize | Data.Algebra.Quaternion |
| normWith | Data.Algebra |
| one | Data.Semigroup.Multiplicative, Data.Semiring |
| outer | Data.Semimodule.Matrix |
| pinf | Data.Semifield |
| Presemiring | Data.Semiring |
| PresemiringLaw | Data.Semiring |
| product | Data.Semiring |
| product1 | Data.Semiring |
| productWith | Data.Semiring |
| productWith1 | Data.Semiring |
| projl | Data.Semimodule.Transform |
| projr | Data.Semimodule.Transform |
| qd | Data.Semimodule, Data.Semimodule.Vector |
| qe | Data.Algebra.Quaternion |
| qi | Data.Algebra.Quaternion |
| qj | Data.Algebra.Quaternion |
| qk | Data.Algebra.Quaternion |
| quadrance | Data.Semimodule, Data.Semimodule.Vector |
| Quasigroup | Data.Semiring |
| quat | Data.Algebra.Quaternion |
| QuatD | Data.Algebra.Quaternion |
| Quaternion | |
| 1 (Type/Class) | Data.Algebra.Quaternion |
| 2 (Data Constructor) | Data.Algebra.Quaternion |
| QuaternionBasis | Data.Semimodule.Vector |
| QuatF | Data.Algebra.Quaternion |
| QuatM | Data.Algebra.Quaternion |
| QuatN | Data.Algebra.Quaternion |
| QuatP | Data.Algebra.Quaternion |
| QuatR | Data.Algebra.Quaternion |
| recip | Data.Semifield |
| reciprocal | Data.Algebra |
| reciprocalWith | Data.Algebra |
| right | Data.Semimodule.Transform |
| Ring | Data.Semiring |
| RingLaw | Data.Semiring |
| rotate | Data.Algebra.Quaternion |
| row | Data.Semimodule.Matrix |
| rows | Data.Semimodule.Transform, Data.Semimodule.Matrix |
| runTran | Data.Semimodule.Transform |
| scal | Data.Algebra.Quaternion |
| scale | Data.Semimodule.Matrix |
| second | Data.Semimodule.Transform |
| Semifield | Data.Semifield |
| SemifieldLaw | Data.Semifield |
| Semimodule | Data.Semimodule |
| Semiring | Data.Semiring |
| SemiringLaw | Data.Semiring |
| signum | Data.Semiring |
| sum | Data.Semiring |
| sum1 | Data.Semiring |
| sumWith | Data.Semiring |
| sumWith1 | Data.Semiring |
| trace | Data.Semimodule.Matrix |
| Tran | |
| 1 (Type/Class) | Data.Semimodule.Transform |
| 2 (Data Constructor) | Data.Semimodule.Transform |
| tran | Data.Semimodule.Matrix |
| transpose | Data.Semimodule.Transform, Data.Semimodule.Matrix |
| triple | Data.Algebra, Data.Semimodule.Vector |
| two | Data.Semiring |
| unAdditive | Data.Semigroup.Additive, Data.Semiring |
| unit | Data.Algebra |
| Unital | Data.Algebra |
| unitWith | Data.Algebra |
| unMultiplicative | Data.Semigroup.Multiplicative, Data.Semiring |
| V2 | |
| 1 (Type/Class) | Data.Semimodule.Vector |
| 2 (Data Constructor) | Data.Semimodule.Vector |
| V3 | |
| 1 (Type/Class) | Data.Semimodule.Vector |
| 2 (Data Constructor) | Data.Semimodule.Vector |
| V4 | |
| 1 (Type/Class) | Data.Semimodule.Vector |
| 2 (Data Constructor) | Data.Semimodule.Vector |
| vect | Data.Algebra.Quaternion |
| zero | Data.Semigroup.Additive, Data.Semiring |
| \\ | Data.Semiring |
| ^ | Data.Semiring |
| ^^ | Data.Semifield |
| ||| | Data.Semimodule.Transform |