#title: Tudo ou nada (=nada)
#author: todos
#date: (def=\today)
#let:


n  a   =[ 2,3,4 ];

s  b   =[gato   e ,rato    e];

n  c   = #a * #a ;

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

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

   f3  = log(x);
f  f4  = #f3;
   f5  = {{sub {my ($x)=@_; log($x)} }};


   t6  = {{ [[2,4],[5,10]] }};

   t7  = {{ [[2,4,6],[5,10,15]] }};

#question:

\begin{enumerate}
\item diga $#a$ ? 

\item diga real de $#a$ ? 

\item conjunto maiores que 1 menores que 5?

\item ???

\item diga #v ?

\item diga o conjunto "#v" (por outra ordem)!

\item um membro do conjunto "#v"!

\item qual derivada de $#f2$ ?  (=$#f1$)

\item dobro em perl...

\item soma em perl...

\end{enumerate}

#sugestion:
#resolution:
#result:

  #a
 

  #v  


#Verification:

  #a ;

  #a type=real ;

  #b type=icastr ;

  perl{[2,3,4]} type=set ;

  #v type=list; 

  #v type=set ;

  #v type=memberof ;

  #f1  type=r_rfunmax;

  #t6  type=tabfun;

  #t7  type=tabfun;

#documentacao 

  perl{[2,3,4]} ; // aceite; bug: CBB na validação
  {{[2,3,4]}}  type=set ; // bug não aceite
  #v type=memberof ;

  #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
  #v  type=set ;

   ## v   = {{ [#a, #b, [#c, 33]] }}; ainda nao funciou :-(
   w   = perl{ [#a, #b, #c] };  
// type = real, 
//           s, icstr, icastr // (ic = ignore case;  ica = ic + ignore centos)
                              // ...ica normaliza espaços...
//           n ,              // (inteiros)
//           bool
//           list
//           list(X)          // ainda não
//           set
//           set(X)           // ainda não
//           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