index
:
difx
main
rule-based algebraic simplification engine with lisp syntax
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test_rule
blob: 56586653604b21b9b45b89ace821e8a695ac1ab9 (
plain
)
1
(def-rule (+ 3 (* $i @a) .) _)