This CD is part of the distribution of LeActiveMath and is used in the exercises suite. http://www.leactivemath.org/cd exprtypes http://www.leactivemath.org/cd/exprtypes.ocd private 1 2005-06-30 Expression Types Constructors polynomial application The type constructor for polynomial expressions with coefficients of the type defined as first argument and unknows as defined by subsequent arguments. 2 2 rational application The type constructor for rational function as quotient of two expressions types. When given with one argument only, then both denominator and numerator are of that type. 3 2 1 2 9 transcendental application The type constructor for transcendental expressions obtained by arithmetical operations and by the function symbols belonging to the CD transc1. transcendental_in application The type constructor for transcendental expressions obtained by arithmetical operations and by the function symbols given as arguments. Any symbol of transc1 may be given as argument. transcendental_in_named application The type constructor for transcendental expressions obtained by arithmetical operations and by the function symbols given as arguments together with the variables interpreted as the unknows used in the expressions. trigonometric application The type constructor for trigonometric expressions obtained by arithmetical operations, and by the trigonometric function symbols in CD transc1: sin, cos, tan, sec, csc, cot. trigonometric_named application The type constructor for trigonometric expressions obtained by arithmetical operations, and by the trigonometric function symbols (in CD transc1). is_exprtype application The predicate to check whether the expression given as first argument is of the type defined by the second argument. Notice that some types are subtypes of others. 2 2