login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #43 when is broken revision 4 of 4

1 2 3 4
Editor: gdr
Time: 2008/07/04 09:16:49 GMT-7
Note: `when' was discontinued from AXIOM

added:

From gdr Fri Jul 4 09:16:49 -0700 2008
From: gdr
Date: Fri, 04 Jul 2008 09:16:49 -0700
Subject: `when' was discontinued from AXIOM 
Message-ID: <20080704091649-0700@axiom-wiki.newsynthesis.org>

Status: need more info => rejected 


Submitted by : (unknown) at: 2007-11-17T22:57:13-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

`when' was discontinued from AXIOM --gdr, Fri, 04 Jul 2008 09:16:49 -0700 reply
Status: need more info => rejected