BTM

X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=e63f9acccd69b79247185336674b4b079bde0b3d;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=b6c0bdac62f5e599e2e3c81eb731da763ff4c834;hpb=56dd0e9f60e0dabfb587b014755fd4dad27960bb;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index b6c0bdac6..e63f9accc 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -1,5 +1,227 @@ -BTM

$[\lambda\delta home]$

cic:/matita/BTM/

$\lambda\delta rainbow rule$

Character classes

This table shows how the first 45 positive integers + + + + + + + + BTM + + + + + + +

+ + $[\lambda\delta home]$ + +

cic:/matita/BTM/

+ $\lambda\delta rainbow rule$ +

Character classes

This table shows how the first 45 positive integers are distributed in the four classes. -

class	contents
p		1	4	7	10	13	16	19	22	25	28	31	34	37	40	43
q		5	11	15	17	23	29	33	35	41	45
s		2	6	8	14	18	20	24	26	32	38	42	44
t		3	9	12	21	27	30	36	39

$\lambda\delta rainbow rule$

Last update: Thu, 09 Mar 2017 13:38:17 +0100

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

class	contents	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +	+ +
p	+ +	1	4	7	10	13	16	19	22	25	28	31	34	37	40	43
q	+ +	5	11	15	17	23	29	33	35	41	45	+ +	+ +	+ +	+ +	+ +
s	+ +	2	6	8	14	18	20	24	26	32	38	42	44	+ +	+ +	+ +
t	+ +	3	9	12	21	27	30	36	39	+ +	+ +	+ +	+ +	+ +	+ +	+ +

+ $\lambda\delta rainbow rule$ +

+
+

+ +

+ + +

+ +

+
+

Last update: Sat, 11 Mar 2017 19:30:41 +0100

+ +