R | |
1 (Data Constructor) | OAlg.Data.Symbol |
2 (Type/Class) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
3 (Data Constructor) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
range | OAlg.Category.Definition, OAlg.Prelude |
rcets | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
Rdc | OAlg.Data.Reducible |
rdcDndPrms | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
rdcFailed | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
rdcFalse | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
rdcGLTForm | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
RdcState | OAlg.Data.Reducible |
rdcTrue | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
RDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
RDstRoot | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
Read | OAlg.Data.Show, OAlg.Prelude |
read | OAlg.Data.Show, OAlg.Prelude |
Real | OAlg.Structure.Exponential |
reduce | OAlg.Data.Reducible |
reducesTo | OAlg.Data.Reducible |
reduceWith | OAlg.Data.Reducible |
Reducible | OAlg.Data.Reducible |
refl | OAlg.Entity.Natural |
Reflexive | OAlg.Data.Dualisable, OAlg.Prelude |
relHomOrtHomomorphous | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
relIsZero | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
relLimes | OAlg.Limes.Definition |
relXStandard | OAlg.Data.Validable, OAlg.Prelude |
repeat | OAlg.Entity.FinList |
repMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
Representable | |
1 (Type/Class) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
2 (Data Constructor) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
restrict | OAlg.Data.Constructable |
Result | |
1 (Type/Class) | OAlg.Control.Validate, OAlg.Prelude |
2 (Data Constructor) | OAlg.Control.Validate, OAlg.Prelude |
reverse | OAlg.Category.Path |
rhnf | OAlg.Control.HNFData |
Right | OAlg.Data.Either |
Right2 | OAlg.Data.Either |
RightSide | OAlg.Data.Dualisable, OAlg.Prelude |
RightToLeft | OAlg.Data.Dualisable, OAlg.Prelude |
Ring | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
rmap | OAlg.Hom.Fibred, OAlg.Hom |
rnfValid | OAlg.Data.Validable, OAlg.Prelude |
rOne | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
Root | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Structure.Fibred |
root | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
Row | |
1 (Type/Class) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
2 (Data Constructor) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowAdd | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowAppend | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowElimZeros | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowFilter | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowHead | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowInterlace | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowIsEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowMapShift | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowMltl | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rows | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
rowScale | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowShear | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowSwap | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rowTail | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
RowTrafo | |
1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
rowxs | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
rsTests | OAlg.Control.Validate, OAlg.Prelude |
rsTestsFalse | OAlg.Control.Validate, OAlg.Prelude |
rsTestsRdcDndPrms | OAlg.Control.Validate, OAlg.Prelude |
rsValid | OAlg.Control.Validate, OAlg.Prelude |
rsValidatedSamples | OAlg.Control.Validate, OAlg.Prelude |
rt' | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
run | OAlg.Control.Action |
rZero | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |