From: Ros@invalid.invalid   
      
   why h and v functions differ for the same input   
   and why h() function the one has the correct result say something   
   about "true operation"?   
      
   h(y:POLY INT):Boolean==   
    local c   
    c:=factors(y); r:= #c   
    output [r,c]   
    if     (r=1)::Boolean and c.1.exponent<2     then r:=true   
    else if(r=2)::Boolean and ground?(c.1.factor)then r:=true   
    else r:=false   
    r   
      
      Function declaration h : Polynomial Integer -> Boolean has been   
         added to workspace.   
      
   Type: Void   
      
   v(y:POLY INT):Boolean==   
    local c,q   
    c:=factors(y); q:= #c   
    output [q,c]   
    if     (q=1)::Boolean and c.1.exponent<2     then r:=true   
    else if(q=2)::Boolean and ground?(c.1.factor)then r:=true   
    else r:=false   
    r   
      
      Function declaration v : Polynomial Integer -> Boolean has been   
         added to workspace.   
      
   Type: Void   
   (8) -> v(x^2)   
      Compiling function v with type Polynomial Integer -> Boolean   
                    2   
      [1,[[factor= x ,exponent= 1]]]   
      
      (8)  true   
                                                                   Type:   
   Boolean   
   (9) -> h(x^2)   
      There are 1 exposed and 0 unexposed library operations named true   
         having 0 argument(s) but none was determined to be applicable.   
         Use HyperDoc Browse, or issue   
                                 )display op true   
         to learn more about the available operations. Perhaps   
         package-calling the operation or using coercions on the   
   arguments   
         will allow you to apply the operation.   
      Cannot find a no-argument definition or library operation named   
   true   
         .   
      AXIOM will attempt to step through and interpret the code.   
      Compiling function h with type Polynomial Integer -> Boolean   
      [1,[[factor= x,exponent= 2]]]   
      
      (9)  false   
                                                                   Type:   
   Boolean   
   (10) ->   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)