Generatorfactory and 0*y = 0
Issue #116
resolved
In the generatorfactory, when visiting TimesInternalFuncTable for example, sometimes a divgenerator is made. However, we should also incorporate the possibility that (if say x*y=z is the formula) both x and z are 0.
Thus, we should make a disjunction of the current generator and a checker that checks x=0,z=0,y~=0.
However, this is not so easy since twochildgeneratornodes require a generator and a checker...
Comments (2)
-
-
reporter - changed status to resolved
fixes issue 116: timesanddivgenerators that incalculate the possibilities of zeros
- Log in to comment
One solution would be to create a general union generator, which gets a set of generator as input. Problem with that is that in general, we have to solve it generating multiple times the same tuple.
Solution here: create a twochildgeneratornode with a truegen and a checker x=0 & z=0. False branch: the divgenerator, True branch: generate universe.