next up previous contents index
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 following sample sessions show how to compute the ${12}^{{\rm th}}$ 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 up previous contents index
Next: Predefined names Up: Input and Output Previous: Input and Output   Contents   Index
Manuel Bronstein 2002-09-04