add function definition to Printer module - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Programming : Code Generation Package : Language Definition : Printer : CodeGeneration/LanguageDefinition/Printer/AddFunction

Printer:-AddFunction - add function definition to Printer module

Printer:-AddFunctions - add functions

Printer:-GetFunction - get function definition from Printer module

Calling Sequence

Printer:-AddFunction(fname, signature, translation, libs, opts)

Printer:-AddFunctions(list1, list2, ...)

Printer:-GetFunction(fname, signature)




Printer module



string; name of function



type signature for function fname



string or procedure; translation for function fname



(optional) equation of the form library=l



(optional) equations of the form integer=iprec, numeric=nprec

list1, list2, ...


lists of the form [fname, signature, translation, libs, opts], with fname, signature, translation, libs, opts as defined above



The AddFunction command defines an equivalent in a target language for a Maple function with name fname and function signature signature. The AddFunctions command defines multiple targets in a single calling sequence.


The GetFunction command returns a previously-defined target language equivalent for fname.


The optional parameter libs is an equation of the form library=l, where l is a string or list of strings corresponding to libraries needed for translation to function properly in the target language.  This is identical in effect to writing translation as a procedure, and including AddLibrary commands for each of the libraries in l in the body of translation.

Function Signatures


A function signature is an expression which is either a type, a expression of the form [type1,...,typen]::type0, or an expression of the form anything::type0.  The meaning associated with each of these is as follows.


A type - This indicates that fname is a special constant (for example, Pi) with type signature.


An expression of the form [type1,...,typen]::type0 - This indicates that fname is a function accepting n arguments, with types given by type1 to typen respectively, with return type type0.


An expression of the form anything::type0 - This indicates that fname is a function accepting an arbitrary number of arguments of any type, with return type type0.

Using Multiple Function Signatures


There can be multiple function signatures for a function name fname. If so, CodeGeneration attempts to match a given function call with the most appropriate signature, based on context.


Note: Maple uses the set of recognized type signatures in its type deductions, so it is useful to include as many type signatures as possible, even when one type signature is a special case of another. For example, suppose an implementation of abs function can accept both integer and float input (returning integer or float output respectively). This is equivalent to the function signatures integer::integer and numeric::numeric.  To avoid needless type coercions, both of these type signatures should be explicitly specified in the language definition.


Define target-language equivalents for the sin and csc functions.






Printer:-AddFunction("csc", [numeric]::numeric,
    proc(a) Printer:-Print("1.0/sin(",a,")") end proc, numeric='double');

procaPrinter:-Print1.0/sin(,a,)end proc,


See Also

AddLibrary, Printer

Download Help Document

Copyright © MathResources Inc. All Rights Reserved.

Was this information helpful?

Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam