The call
gapc -p "alg_count*alg_buyer" elmamun.gap
make -f out.mf
./out 1+2*3*4+5
results in the following output: ( 14 , 2147483647 ) with the second value being some uninitialized value.
I tested this with other grammars and algebras as well, always reproducing the phenomenon.
Only works when calling the count algebra first, thus violating Bellman's Principle.
The preferred output of such a product should instead be an empty set.
The call
results in the following output:
( 14 , 2147483647 )with the second value being some uninitialized value.I tested this with other grammars and algebras as well, always reproducing the phenomenon.
Only works when calling the count algebra first, thus violating Bellman's Principle.
The preferred output of such a product should instead be an empty set.