|
|
|
|
|
|
by earthicus
487 days ago
|
|
|
I think the issue was that they are representing a real as a product of a rational and that more complicated type, so without a symbolic representation for 1, when representing and rational, they would have to multiply it by a RRA representation of 1 which brings in all the decision problem issues. |
|
|