XXIIVV — gaud

Gaud!

Gaud es ling concatenativ de programation ub information es un sac de symbols et omn operation es composition de fractions per multiplication. Denominator de fraction remov symbols et numerator inser symbols.

The English version of this page is available here.

Fundamentals

Stat de program: Sac de symbols sin ordin.
[cub con^3] et [con^3 cub] contin un cub et tres con.
Symbols: Se qui es in sac es scrib per nomins aut nomin cum numer.
[sphaer sphaer] val sphaer^2.
Transformation: Denominator indic consumption et numerator insertion.
strix/fels^2 consum du fel, inser un strix.

Evaluation de Rejoice es aplication de fractions in sequent.

[fel can ran^2]      ( Inser 1 fel, 1 can et 2 rans )
[fel can^3]/ran      ( Si sac hab 1 ran, camb pro 1 fel et 3 cans )
    []/[ran fel^2]   ( Si sac hab 1 ran et 2 fels, tol ils )
    urs/can^fel      ( Si sac hab tant can aut plus que fel..
                        .. camb can in numer de fel pro 1 urs )
[can^4 urs]          ( Reman in sac 4 cans et 1 urs )

Leg un fraction.
Si denominator es in sac:

Consum denominator et inser numerator.

Si denominator ne es in sac:

Tent juxt fraction.

Si nul fraction reman:

Program sist.

Logic

Hic es implementation de logic-port de NON, qui revers ver et fals:

fals non
	ver/[fals non]
	fals/[ver non]

[fals non] ver/[fals non]
[ver] fals/[ver non]
[ver]

Simil, hic es implementation de logic-port de AUT, un fraction per composit:

x y aut
	ver/[x y aut]
	ver/[x aut]
	ver/[y aut]
	fals/aut

[x y aut] ver/[x y aut]
[ver] ver/[x aut]
[ver] ver/[y aut]
[ver] fals/aut
[ver]

Circuits

Nomin @symbol es special, id retin position de salt in program. Quand es in sac, evaluation salt ad position. Hic es exempl de un simpl circuit:

tempor^5

@Circuit ( tempor -- )
	[Circuit oper]/tempor
fin

[tempor^5] [Circuit oper]/tempor
[oper^5] [Circuit oper]/tempor
[oper^5] fin
[oper^5 fin]

Circuits pot scrib fractions qui remov tot numer de symbol. Per exempl, hic implementation de major, si x>y ver aur fals:

x^3 y^2

@Major ( x y -- ver|fals )
	Major/[x y]
	ver/x Major/x
	fals/y Major/y

[x^3 y^2] Major/[x y]
[x^2 y] Major/[x y]
[x] Major/[x y]
[x] ver/x
[ver] Major/x
[ver] fals/y
[ver] Major/y
[ver]

Fractions Anonym

Circuits sin nomin es pot scrib hoc fraction in mod veloc. Per exempl, fraction pro adition @Ad [x Ad]/y pot es scrib 'x/y, interpret vol creo un met ad loc.

x^3 y^4 'x/y

[x^3 y^4] 'x/y 
[x^4 y^3] 'x/y 
[x^5 y^2] 'x/y 
[x^6 y] 'x/y 
[x^7] 'x/y 
[x^7]

Arithmetic

Pro praeb diferent inter numers, consum utroq usq ad exhaustion, si relinq x conseq es positiv, si relinq y conseq es negativ. In fin, camb x pro pos aut y pro neg:

x^2 y^5

@Sub ( x y -- pos|neg )
	Sub/[x y] 'pos/x 'neg/y

[x^2 y^5] Sub/[x y]
[x y^4] Sub/[x y]
[y^3] Sub/[x y]
[y^3] 'pos/x
[y^3] 'neg/y
[neg^3] 'neg/y
[neg^3]

Hic es un program plus complex que praeb product ex du numer:

x^2 y^3

@Mul ( x y -- res )
	[Mul z res]/y 'y/z Mul/x '1/[y res]

Quotiens de Symbol

Quand quotien es nomin de symbol(a^b), hoc symbol es tant comput que quotient. Per exampl, pro remov tot symbol:

x^5 []/x^x

[x^5] []/x^x
[]

Pro remov tant A que B(a-b):

a^5 b^3 []/a^b

[a^5 b^3] []/a^b
[a^2 b^3]

Pro praeb product ex du numer:

x^5 y^3 'res^y/x

[x^5 y^3] 'res^y/x
[y^3 res^15] 'res^y/x
[y^3 res^15]

Intr/Extr

Symbol qui incip per . emit nomin de se, symbol qui incip per .# emit comput de se.

porc^3
	( vocabul ) .Computat:
	( numer   ) .#porc

Computat:3

HocusPocus

In fin, neces implementation de HocusPocus:

tempor^100

@Circuit ( tempor -- num f b )
	num f b
	[Circuit .HocusPocus\n]/[tempor f^3 b^5]
	[Circuit .Hocus\n]/[tempor f^3]
	[Circuit .Pocus\n]/[tempor b^5]
	[Circuit .#num .\n]/tempor

1, 2, Hocus, 4, Pocus, Hocus, 7, 8, Hocus, Pocus, 11, Hocus, 13, 14, HocusPocus, 16, 17, ..

Codice, Uxntal.
Repositorio, Uxntal.
Latin Sin Flexion
Giuseppe Peano, Wikipedia.

[] es nihil, identitat. []/n es predecesor.
n es sucesor.

incoming: rejoice latin sin flexion latsin devlog 2026