Error, (in evalf/RootOf) there are ambiguous values encoded in RootOf(...)
Error, (in convert/RootOf) there is ambiguity in RootOf(...)
Description
Examples
The error occurs when evalf or convert are passed expressions that have ambiguity in regards to specification of roots.
Example 1
The numerical approximation of 12 used as a root selector is not helpful in distinguishing between the two roots, 12−52, 12+52, since both roots are a distance of exactly 52 from 12.
e≔RootOf⁡x2−x−1,12
e:=RootOf⁡_Z2−_Z−1,12
evalfe
Error, (in evalf/RootOf) there are ambiguous values encoded in RootOf(_Z^2-_Z-1, 1/2)
Example 2
r1≔RootOf⁡_Z2−2,0
r1:=RootOf⁡_Z2−2,0
r2≔RootOf⁡_Z2−2,index=1
r2:=RootOf⁡_Z2−2,index=1
The numeric selector, 0, is not sufficient to distinguish whether r1 is the positive or negative root. Therefore, the following gcd computation is ambiguous: if r1 represents the positive root, then the GCD is x−2, but if r1 represents the negative root, then the GCD is 1. Hence an error is raised:
gcdx−r1,x−r2;
Error, (in evalf/RootOf) there are ambiguous values encoded in RootOf(_Z^2-2, 0)
Example 3
convert⁡RootOf⁡x2−x−1,12,RootOf,form=index
Error, (in convert/RootOf) there is ambiguity in RootOf(_Z^2-_Z-1, 1/2)
See Also
examples,RootOf
Download Help Document
What kind of issue would you like to report? (Optional)