#title: 
#author: 
#date: (def=\today)
#let:

n  a   =[ 2,3,4 ];
n  b   =[ 2,3,4 ];
n  c   = #a * #b ;
   ## v   = {{ [#a, #b, [#c, 33]] }}; ainda nao funciou :-(

   v   = {{ [#a, #b, #c] }};  
   ## vector

   f1  = exp(x);
   f2  = #f1;

   w   = perl{ [#a, #b, #c] };  

#question:

\begin{enumerate}
\item $#a \times #b$ ? 

\item qual derivada de $#f1$ ?
\end{enumerate}

#sugestion:
#resolution:
#result:

  #c

  #v  


#Verification:

  #v  ;               // tipo UNI implicito f(valor concreto let) strings nat reais
  #v                ; // se real, abs((v-v1)/v)*100 <= 0.001  (def= 0.001% )
  #v  err = 0.001%  ; // se real, abs((v-v1)/v)*100 <= 0.001
  #v  err = 0.001   ; // se real, abs(v-v1) <= 0.001
   
   
// type = real, 
//           s, icstr, icastr 
//           n ,   (inteiros)
//           bool
//           list
//           list(X)
//           set
//           set(X)
//           memberof   

//           tabfun  // funperl (arg1,agr2,...,res)* FIXME erros (não estrita)
//           tabfun  // funmax  (arg1,agr2,...,res)* FIXME erros (não estrita)
//           r_rfunmax
//      type=f
//      type=f:real,real->real
//      type=f:real->real
//      type=f:list->real
//      type=f:list(s)->real
 
//      type=...     tab=...
//      

  perl{sub{ ... }}       tab=...                    ;
  perl{[#x1,#x2]}                                   ;
  perl{[#x1,#x2]}        type=set                   ;
  maxima{ f(x):= #f1 }   type=f:real->real   tab=[...]   ;


  #c  type=f ;


  #f1 type=r_rfunmax;

  #v  type=memberof;

#usepackage
 % \usepackage{...}  latex preambula

#perl