|
|
last edited 17 years ago by kratt6 |
1 2 3 4 5 | ||
Editor:
Time: 2007/11/17 22:21:49 GMT-8 |
||
Note: |
changed: - The following doesn't seem to work: \begin{axiom} )set func comp on f(A:List PI, B:List PI): FRAC INT == cap(reduce(*, map(i +-> elementary i, A)), reduce(*, map(i+-> complete i, B))) f([1,2,3],[2,2,2]) \end{axiom} Replacing 'map(...)' by '[...]' seems to resolve the problem. Martin
The following doesn't seem to work:
axiom)set func comp on f(A:List PI, B:List PI): FRAC INT == cap(reduce(*, map(i +-> elementary i, A)), reduce(*, map(i+-> complete i, B))) Function declaration f : (List PositiveInteger,List PositiveInteger) -> Fraction Integer has been added to workspace.
axiomf([1,2,3],[2,2,2])
Compiling function f with type (List PositiveInteger,List PositiveInteger) -> Fraction Integer
![]() | (1) |
Replacing map(...)
by '[...]?' seems to resolve the problem.
Martin