[open-axiom-devel] bug?

[Martin R. <mar...@un...>]

I'm currently wondering about the message below.  Is this a known misfeature of
the type inference algorithm?

Martin

(1) -> dot([1,2],[a,b])
   There are 2 exposed and 2 unexposed library operations named dot 
      having 2 argument(s) but none was determined to be applicable. 
      Use HyperDoc Browse, or issue
                               )display op dot
      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 definition or applicable library operation named dot 
      with argument type(s) 
                            List PositiveInteger
                       List OrderedVariableList [a,b]
      
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

(1) -> l1: List POLY INT := [a,b]; l2: List POLY INT := [x,y];

                                                Type: List Polynomial Integer
(2) -> )se me bo on
(2) -> dot(l1,l2)

 Function Selection for dot
      Arguments: (LIST POLY INT,LIST POLY INT) 
   -> no appropriate dot found in List Polynomial Integer 
   -> no appropriate dot found in Polynomial Integer 
   -> no appropriate dot found in List Polynomial Integer 
   -> no appropriate dot found in Polynomial Integer 

 Modemaps from Associated Packages 
   no modemaps

 Remaining General Modemaps 
   [1] (D,D) -> D1 from D
            if D has VECTCAT D1 and D1 has TYPE and D1 has RING
   [2] (D,D) -> D1 from D
            if D has DIRPCAT(D2,D1) and D1 has TYPE and D1 has RING
   -> no appropriate dot found in Vector Polynomial Integer 
   -> no function dot found for arguments (LIST POLY INT,LIST POLY INT) 
[...]