unique-logic-0.3: Solve simple simultaneous equations

Index

=!=UniqueLogic.ST.Expression
=:=UniqueLogic.ST.Expression
AbsUniqueLogic.ST.Example.Label
AddUniqueLogic.ST.Example.Label
addUniqueLogic.ST.Rule
Apply 
1 (Type/Class)UniqueLogic.ST.SystemLog, UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
2 (Type/Class)UniqueLogic.ST.Expression
arg 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
3 (Function)UniqueLogic.ST.Expression
Assign 
1 (Type/Class)UniqueLogic.ST.Example.Label
2 (Data Constructor)UniqueLogic.ST.Example.Label
assignment2 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
assignment3 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
AssignsUniqueLogic.ST.Example.Label
ConstUniqueLogic.ST.Example.Label
constant 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
3 (Function)UniqueLogic.ST.Expression
4 (Function)UniqueLogic.ST.Example.Label
DivUniqueLogic.ST.Example.Label
equUniqueLogic.ST.Rule
example 
1 (Function)UniqueLogic.ST.Example.Rule
2 (Function)UniqueLogic.ST.Example.Expression
expressionUniqueLogic.ST.Example.Label
fromRule1UniqueLogic.ST.Expression
fromRule2UniqueLogic.ST.Expression
fromRule3UniqueLogic.ST.Expression
fromVariableUniqueLogic.ST.Expression
generic2 
1 (Function)UniqueLogic.ST.Rule
2 (Function)UniqueLogic.ST.RuleLog
generic3 
1 (Function)UniqueLogic.ST.Rule
2 (Function)UniqueLogic.ST.RuleLog
globalVariable 
1 (Function)UniqueLogic.ST.SystemLog, UniqueLogic.ST.System
2 (Function)UniqueLogic.ST.SystemLabel
3 (Function)UniqueLogic.ST.Example.Label
localVariable 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
MaxUniqueLogic.ST.Example.Label
max 
1 (Function)UniqueLogic.ST.Rule
2 (Function)UniqueLogic.ST.Expression
maximumUniqueLogic.ST.Expression
MulUniqueLogic.ST.Example.Label
mulUniqueLogic.ST.Rule
NameUniqueLogic.ST.Example.Label
pair 
1 (Function)UniqueLogic.ST.Rule
2 (Function)UniqueLogic.ST.Expression
plainVariableUniqueLogic.ST.System
powUniqueLogic.ST.Rule
query 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
ruleUniqueLogic.ST.Example.Label
runApply 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
3 (Function)UniqueLogic.ST.Expression
SignumUniqueLogic.ST.Example.Label
solve 
1 (Function)UniqueLogic.ST.SystemLog
2 (Function)UniqueLogic.ST.System
3 (Function)UniqueLogic.ST.SystemLabel
sqrUniqueLogic.ST.Expression
sqrtUniqueLogic.ST.Expression
squareUniqueLogic.ST.Rule
SubUniqueLogic.ST.Example.Label
T 
1 (Type/Class)UniqueLogic.ST.SystemLog, UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel
2 (Type/Class)UniqueLogic.ST.Expression
TermUniqueLogic.ST.Example.Label
Var 
1 (Type/Class)UniqueLogic.ST.System
2 (Data Constructor)UniqueLogic.ST.Example.Label
Variable 
1 (Type/Class)UniqueLogic.ST.SystemLog, UniqueLogic.ST.System
2 (Type/Class)UniqueLogic.ST.SystemLabel