Dear Tim and Bertfried,
On Mon, 2 Nov 2009, Bertfried Fauser wrote:
There is one exposed function called listOfTerms :
  [1] D -> List(Record(k: D3,c: D2)) from D
           if D has IDPC(D2,D3) and D2 has SETCAT and D3 has ORDSET
yes, that's the one.

Franz


_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to