[piatok] Znacenie mimo-riadnych radov hodnot suciastok

[Jan Waclawek]

Nas kolega Jaromir rad pouziva odpory hodnot ako su napr. 1k1 alebo 9k1,
t.j. z radu E24 tie, ktore nie su v rade E12. Mohli by sme to oznacit ako
E24-E12, alebo pre jednoduchost ako E12* ("doplnkovy" rad k radu E24).

Da sa na to pozerat tak, ze z radu E24 vznikne rad E12 tak, ze sa z E24
vypusti kazda druha hodnota; no a rad E12* vznikne tak, ze sa z E24
vypusti kazda "prva" hodnota z dvojice (t.j. n mod 2 = 0).

Chcel som tento princip rozsirit na pripad, ked pouzivam napr. rad E3, a
som nuteny "proti srsti" pouzit nieco napr. z radu E12, t.j. ze to nie je
nielen v E3 ale ani v E6. Chcem teda tym oznacenim vyjadrit zamer pouzivat
E3 a aj to, ze ako "hlboko musim klesnut" smerom k vyssim radom, aby som
nejaku hodnotu ziskal. Vypracoval som tuto schemu:

- pri znizeni "rozlisenia" sa prida tesne za oznacenie a pred vsetky
predchadzajuce oznacenia '.', ak sa vynechaju kazde "druhe" (t.j.
"normalna redukcia", n % 2 = 1), a '*' ak sa vynechaju kazde "prve"
("doplnkova redukcia", n % 2 = 0)
- vsetky bodky sprava sa daju odstranit az po prvu ne-bodku
- z E3 na E2 to prilis nejde, lebo E2*[cokolvek] bude mat len jeden clen,
t.j. E2 su vzdy E2.[nieco]; napriklad 1k2 je teda z E2..*
- napriklad 9k1 je E3***

E12       1k0 1k2 1k5 1k8 2k2 2k7 3k3 3k9 4k7 5k6 6k8 8k2
E6.=E6    1k0     1k5     2k2     3k3     4k7     6k8    
E6*           1k2     1k8     2k7     3k9     5k6     8k2
 
E6.=E6    1k0     1k5     2k2     3k3     4k7     6k8    
E3..=E3   1k0             2k2             4k7
E3*.=E3*          1k5             3k3             6k8    
 
E6*           1k2     1k8     2k7     3k9     5k6     8k2
E3.*          1k2             2k7             5k6        
E3**                  1k8             3k9             8k2