Squeak
  links to this page:    
View this PageEdit this PageUploads to this PageHistory of this PageTop of the SwikiRecent ChangesSearch the SwikiHelp Guide
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