gasp-1.4.0.0: A framework of algebraic classes

Index - L

laws_abelian_additiveAlgebra.Classes
laws_abelian_groupAlgebra.Classes
laws_additiveAlgebra.Classes
laws_bicartesianAlgebra.Category.Laws
laws_braidedAlgebra.Category.Laws
laws_cartesianAlgebra.Category.Laws
laws_cartesian_extraAlgebra.Category.Laws
laws_categoryAlgebra.Category.Laws
laws_cocartesianAlgebra.Category.Laws
laws_comm_monoidAlgebra.Classes
laws_groupAlgebra.Classes
laws_moduleAlgebra.Classes
laws_monoidAlgebra.Classes
laws_monoidalAlgebra.Category.Laws
laws_multiplicativeAlgebra.Classes
laws_ringAlgebra.Classes
laws_symmetricAlgebra.Category.Laws
laws_testEqualAlgebra.Classes
law_assocAlgebra.Classes
law_assoc_invAlgebra.Category.Laws
law_braided_hexagon1Algebra.Category.Laws
law_braided_hexagon2Algebra.Category.Laws
law_braided_triangleAlgebra.Category.Laws
law_commutativeAlgebra.Classes
law_comp_assocAlgebra.Category.Laws
law_comp_idAlgebra.Category.Laws
law_decidable_zeroAlgebra.Classes
law_dup_commutAlgebra.Category.Laws
law_exp_posAlgebra.Classes
law_fromIntegerAlgebra.Classes
law_id_compAlgebra.Category.Laws
law_left_idAlgebra.Classes
law_module_mulAlgebra.Classes
law_module_oneAlgebra.Classes
law_module_sumAlgebra.Classes
law_module_sum_leftAlgebra.Classes
law_module_zeroAlgebra.Classes
law_monoidal_pentagonAlgebra.Category.Laws
law_monoidal_triangleAlgebra.Category.Laws
law_multAlgebra.Classes
law_negate_minusAlgebra.Classes
law_parallel_compositionAlgebra.Category.Laws
law_projectionsAlgebra.Category.Laws
law_reflAlgebra.Classes
law_right_idAlgebra.Classes
law_swap_invAlgebra.Category.Laws
law_swap_involAlgebra.Category.Laws
law_timesAlgebra.Classes
law_unitorL_invAlgebra.Category.Laws
law_unitorR_invAlgebra.Category.Laws
lcmAlgebra.Classes
LinComb 
1 (Type/Class)Algebra.Morphism.LinComb
2 (Data Constructor)Algebra.Morphism.LinComb
Log 
1 (Type/Class)Algebra.Morphism.Exponential
2 (Data Constructor)Algebra.Morphism.Exponential
logAlgebra.Classes
log1mexpAlgebra.Classes
log1pAlgebra.Classes
log1pexpAlgebra.Classes
logBaseAlgebra.Classes