http://www.mapleprimes.com/posts/40189-Interpretation-Of-Maple-Answer en-us 2026 Maplesoft, A Division of Waterloo Maple Inc. Maplesoft Document System Fri, 12 Jun 2026 03:09:55 GMT Fri, 12 Jun 2026 03:09:55 GMT The latest comments added to the Post, Interpretation of Maple answer http://www.mapleprimes.com/images/mapleprimeswhite.jpg http://www.mapleprimes.com/posts/40189-Interpretation-Of-Maple-Answer http://www.mapleprimes.com/posts/40189-Interpretation-Of-Maple-Answer?ref=Feed:MaplePrimes:Interpretation of Maple answer:Comments#comment73936 Your example has infinitely many solutions. Your result is a compact way of representing them all. Maple's convention for such answers is that _Bxx is Boolean-valued (0 or 1) and _Zyy may be integer-valued. So, your result indicates that any value for x obtained by evaluating that formula at _B15 = &lt;0 or 1> and _Z15 = &lt;some integer> would be a solution. You get to choose which. The tilde (~) is Maple's way of demarking a name that has assumptions on it. The about() command can print the current known assumptions on a name. For example, <pre> > _EnvAllSolutions:=true: > sol := solve(cos(x) = -1/2); sol := 2/3 Pi - 4/3 Pi _B1~ + 2 Pi _Z1~ > seq(about(i),i in indets(sol)); Originally _Z1, renamed _Z1~: is assumed to be: integer Originally _B1, renamed _B1~: is assumed to be: OrProp(0,1) </pre> The numbers xx and yy in _Bxx and _Zyy are generated automatically by Maple so that the resulting new names don't already have assumptions or assigned values. acer The latest comments added to the Post, Interpretation of Maple answer 73936 Thu, 24 Jan 2008 11:36:11 Z acer acer