mschlund / FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings
BSD 2-Clause "Simplified" License
11 stars 5 forks source link

FreeSR + ComRegExp (more) compact representation #5

Closed mschlund closed 11 years ago

mschlund commented 11 years ago

Using a Hashmap we want to recycle more subexpressions. How: Build a hash from the triple (operand, left, right), whereas for commutative RegExp we can sort the children if we have addition or multiplication, for the FreeSR we only can sort them if we have addition.

michalt commented 11 years ago

I'll look into it.