Originally Savannah bug #6490

The NAG interpreter and the Axiom interpreter do not
accept the when and otherwise verbs when defining
piecewise functions.

There are no library operations named `when`

axiom

ch : Integer -> UnivariatePolynomial(x,FRAC(INT))

**Type: **Void

axiom

ch(0) == 1

**Type: **Void

axiom

ch(1) == x

**Type: **Void

axiom

ch(n) == 2 * x * ch(n-1) - ch(n-2) when n > 1

**Type: **Void

axiom

ch(2)

There are no library operations named when
Use HyperDoc Browse or issue
)what op when
to learn if there is any operation containing " when " in its
name.
Cannot find a definition or applicable library operation named when
with argument type(s)
Integer

Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
FriCAS will attempt to step through and interpret the code.

axiom

Compiling function ch with type Integer -> UnivariatePolynomial(x,
Fraction(Integer))
There are no library operations named when
Use HyperDoc Browse or issue
)what op when
to learn if there is any operation containing " when " in its
name.

Cannot find a definition or applicable library operation named when
with argument type(s)
Integer

Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.

The parser is broken

Status: open => need more info

is `when`

mentioned in the documentation?

Category: Axiom Mathematics => Axiom Interpreter

Status: need more info => rejected

...--kratt6, Thu, 20 Dec 2007 01:22:19 -0800 reply