Next: Predefined names Up: Input and Output Previous: Input and Output   Contents   Index

## Input

BERNINA understands two different input formats, infix and lisp. You must choose one input format when you launch BERNINA and you cannot change the input format during a session. Use -i fmt on the command line to select the desired input format, where fmt is either infix (the default) or lisp. The startup banner informs you of the selected input format.
• The infix format is the standard FORTRAN mathematical expression format with the additional feature that you can use both ^ and for exponentiation. All statements must be terminated by a semicolon. In addition, the infix format allows BERNINA to read back the TEX that it generates, but do not expect it to understand TEX generated from anyone else, including you.
• The lisp format is the standard common LISP expression format, with the exception that the BERNINA function names are case-sensitive.
The following sample sessions show how to compute the symmetric power of the Airy operator in both the infix and lisp formats:
% bernina

/\
-----  it                                          /| \
\                B E R N I N A 1.0.0              / |  \
\                                               |   \  \
/                 A Sum^it server               |    |  \
/                                                /     \  \
-----                                           /      |   \
Use ^D to terminate session       /       /    \

Sum^it - Copyright (c) 1994-2002, ETH Zurich, INRIA and M.Bronstein
Algebra Library - Copyright (c) 1994-2002, ETH Zurich, INRIA and M.Bronstein
Algebra Library - Copyright (c) 1998-2002, NAG Ltd., LIFL and M.Moreno Maza
Aldor Library - Copyright (c) 1998-2002, INRIA and M.Bronstein
GMP version: must be linked with GMP (Free Software Foundation)

Input format = infix
Independent variable = x
Derivation = D
Second variable for Darboux curves = u

1 --> L := D^2 - x;
0:00:00.000 (gc = 0:00:00.000)

2 --> L12 := symmetricPower(L, 12);
0:00:00.083 (gc = 0:00:00.033)

% bernina -ilisp

/\
-----  it                                          /| \
\                B E R N I N A 1.0.0              / |  \
\                                               |   \  \
/                 A Sum^it server               |    |  \
/                                                /     \  \
-----                                           /      |   \
Use ^D to terminate session       /       /    \

Sum^it - Copyright (c) 1994-2002, ETH Zurich, INRIA and M.Bronstein
Algebra Library - Copyright (c) 1994-2002, ETH Zurich, INRIA and M.Bronstein
Algebra Library - Copyright (c) 1998-2002, NAG Ltd., LIFL and M.Moreno Maza
Aldor Library - Copyright (c) 1998-2002, INRIA and M.Bronstein
GMP version: must be linked with GMP (Free Software Foundation)

Input format = lisp
Independent variable = x
Derivation = D
Second variable for Darboux curves = u

1 --> (setq L (- (^ D 2) x))
0:00:00.000 (gc = 0:00:00.000)

2 --> (setq L12 (symmetricPower L 12))
0:00:00.083 (gc = 0:00:00.033)


Next: Predefined names Up: Input and Output Previous: Input and Output   Contents   Index
Manuel Bronstein 2002-09-04