Comandos del Intérprete

Los siguientes comandos permiten realizar las acciones que describe cada uno.

>?ayuda
Comandos del Intérprete:
!salir                  Salir del intérprete
!cargar <programa>      Cargar un programa
!recargar              Volver a cargar el programa actual
?funs                  Lista las funciones disponibles
?vars                  Lista las variables y sus valores

?conjs                  Lista los conjuntos
?fun <funcion>         Despliega el dominio y codominio de una función
?var <variable>        Despliega el valor de una variable
?conj <conjunto>       Despliega la definición del conjunto
?grafica <funcion>     Grafica una función de R -> R
?ayuda                 Despliega este mensaje de ayuda

Por ejemplo, el comando ?funs despliega una lista con la signatura de cada función disponible en el intérprete, como se muestra a continuación:

>?funs
- :: R -> R
red :: R -> Z
sen :: R -> R
cos :: R -> R
raizcuad :: R -> R
rgb :: (R X R X R) -> Color
rect :: (R X R) -> Fig
circ :: R -> Fig
segmento :: ((R X R) X (R X R)) -> Fig
poli :: (R X R)* -> Fig
juntar :: (Fig X Fig) -> Fig
color :: (Fig X Color) -> Fig
mover :: (Fig X (R X R)) -> Fig
rotar :: (Fig X R) -> Fig
escalar :: (Fig X R) -> Fig
aFig :: A -> Fig
segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D
esfera :: R -> Fig3D
cilindro :: (R X R X R) -> Fig3D
cubo :: (R X R X R) -> Fig3D
anillo :: (R X R X R) -> Fig3D
juntar3D :: (Fig3D X Fig3D) -> Fig3D
color3D :: (Fig3D X Color) -> Fig3D
mover3D :: (Fig3D X (R X R X R)) -> Fig3D
rotar3D :: (Fig3D X (R X R X R)) -> Fig3D
escalar3D :: (Fig3D X R) -> Fig3D
rango :: (R X R X R) -> R*
primero :: A* -> A
resto :: A* -> A*

Observar que hay funciones para las figuras 2D (por ejemplo, juntar, mover) y para las figuras 3D (por ejemplo juntar3D, mover3D). Componiendo dichas funciones es posible crear figuras como las de las Figuras 7, 8, 9 y 10 de este manual.