COS:(PI/3);

3 + 4;
+:< 1,2,3,4 >;
-:< 1,2,3,4 >;
*:< 1,2,3,4 >;
/:< 2,2,3,4 >;
PI;
SIN:PI;
COS:PI;
ACOS:-1;
SQRT:(9 * 9);
(9 * 9) ** (1/2);
(9 * 9) ** (-1/2);
1 / 0.1111111111111111;
COS + SIN;
(COS + SIN):PI;

IsInt:1000;
IsInt:3.2;
IsInt:(5/4);
IsIntPos:-123;
IsReal:345.28;
IsReal:3.4528E+2;
IsRealPos:3.4528E-2;
IsSeq:< 345.28, -123, SQRT, 'aaaaa' >;
IsSeqOf:IsInt:<2,4,6,8>;
IsFun:ID;
IsPol:(CUBOID:<1,1,1>);
IsChar:'a';
IsString:'Alberto';
IsString:'''';
IsString:(STRING:<>);
IsSeqOf:IsInt:<>;

GT:1:2;
GE:1:2;
LE:1:2;
LE:2:( 20 / 10 );

EQ:< 1, 5 - 3 >;
EQ:< 6 / 3, 2 >;
EQ:< 1 >;

AND: < True, True, True, True >;
AND: < True, True, False >;
OR: < True, False, True >;
OR: < False, False, False, False >;
NOT: False;
AND: < True OR NOT:True, NOT:False >;

GE:0:0.5 AND LE:1:0.5;
(AND ~ [GE:0, LE:1]): 0.5;
(NOT ~ AND ~ [GE:0, LE:1]): 0.5;
(AND ~ [IsIntPos, GT:10]): 50.001;
(AND ~ [IsIntPos, GT:10]): 50.0;

def myf=(NOT ~ AND ~ [GE:0, LE:1]);
myf:-0.1;
myf:0;
myf:0.5;
myf:1;
myf:1.1;
AA:(myf~(c:/:2)):(1..5);

5..3;
FROMTO:<5,3>;
RANGE:<5,3>;

DEF cuboid = * ~ aa:q;


DEF volume = pianta (<1,2,0> && <1,0,2>) sezione;
DEF struttura = (offset:<0.2,0.2,0.4> ~ @1):volume;
DEF solai = pianta * q:<-0.25,0.15,-3,0.15>;

struttura STRUCT solai;

DEF OBJ=cuboid:<1,1,1> top simplex:3;
OBJ;

DEF length = + ~ AA:(K:1);
length:(1..10);
DEF lengths= length ~ CHARSEQ;
lengths:'abcdefghijk';

ISCHAR:'p';
ISSTRING:'abcdefghijk';

ORD:'p';
CHAR:112;

CHARSEQ:'Homer';
STRING:< 'H','o','m','e','r' >;

LT:'a':'b';
GT:'a':'b';
LT:'bianchi':'neri';

aa:[id,char]:(32..126);

[S1,S2]:<1,2,3,4>;
[S1,TAIL]:<1,2,3,4>;
(AL~[S1,TAIL]):<1,2,3,4>;

DEF PrimoMaiuscolo = 
  STRING ~ AL ~ [convert ~ S1, TAIL] ~ CHARSEQ
WHERE
  convert = IF:< test, CHAR ~ (ORD - K:32), ID >,
  test = AND ~ [GE:97, LE:122] ~ ORD
END;


PrimoMaiuscolo:'piPPo';

DEF RestoMaiuscolo = 
  STRING ~ AL ~ [S1, AA:CONVERT ~ TAIL] ~ CHARSEQ
WHERE
  convert = IF:< test, CHAR ~ (ORD - K:32), ID >,
  test = AND ~ [GE:97, LE:122] ~ ORD
END;

RestoMaiuscolo:'pippo';

AL:< 99, 1..5 >;
99 AL (1..5);
AR:< 1..5, 99 >;
(1..5) AR 99;
CAT:<< 101,102 >,< 901,902,903 >>;
SEL:4:< 101,102,901,902,903 >;
LIST:10;