links to this page:
Squeak for Mathematicians
All Projects
Swiki Page List
SymbolicExpressions
Last updated at 2:24 pm UTC on 16 January 2006
Math-Symbolic.zip
Examples of use
(I use italics for the results of printIt)
p := SymbolicVariable name: 'p'
q := SymbolicVariable name: 'q'
r := SymbolicVariable name: 'r'
(p | q)
p & q
(p & q) value
(p => q) value
sa := SymbolicAnalyzer new
sa expression: ((p & q) | (p & r)) <=> (p & (q|r))
sa analyze
'Is is a theorem'
sa expression: (p => (q => r)) <=> ((p => q) => r)
sa analyze
'It is not a theorem. Counterexample:
p = false
q = false
r = false'
a := SymbolicVariable name: 'a'
b := SymbolicVariable name: 'b'
((a+b)**3) expandSimplify
( (a**2) *b*3) + ( (b**2) *a*3) + (a**3) + (b**3)
Math-Symbolic.zip