X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=075407f923a47a3ae9c0aeb5c67d9335cf1a2a10;hb=59c3713b93251505ba4e00b2695bffe2dfaf3bc7;hp=a477e6d4f9b8da1c94fcf9f95440a8d328a76a8c;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index a477e6d4f..075407f92 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -23,181 +23,180 @@
[Spacer]
-
Character classes
-
This table shows how the first 45 positive integers +
Character classes
+
This table shows how the first 45 positive integers are distributed in the four classes.
-
+
- - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - + - - - - - - - - - - - + + + + + + + + + + - - - - - - + - - - - - - - - - - - - - + + + + + + + + + + + + - - - - + - - - - - - - - - + + + + + + + + - - - - - -
classcontents + classcontents
+
+
+
+
+
+
+
+
+
+
+
+
+
+
p -
- 		147101316192225283134374043p +
+ 		147101316192225283134374043
q + q
5111517232933354145 + 5111517232933354145
+
+
+
+
s + s
268141820242632384244 + 268141820242632384244
+
+
t + t
39122127303639 + 39122127303639
+
+
+
+
+
+
- -
+
[Spacer]
@@ -223,6 +222,6 @@

-
Last update: Sun, 20 Jul 2014 15:02:32 +0200
- +
Last update: Sun, 06 Sep 2015 21:40:58 +0200
+