S-expression: Difference between revisions
→Examples: correction |
→Examples: didnt notice the purpose of the main distinction so corrected my additions. also slightly cleaned up placing of secondary forms |
||
| Line 3,363: | Line 3,363: | ||
| S8 | | S8 | ||
|S6/S9 | |S6/S9 | ||
|S4/(S6⋅S7) | |||
|(S4⋅S5⋅S6)/S3 | |(S4⋅S5⋅S6)/S3 | ||
|- | |- | ||
| [[81/80]] | | [[81/80]] | ||
| Line 3,374: | Line 3,374: | ||
| [[245/243]] | | [[245/243]] | ||
| S7/S9 | | S7/S9 | ||
| | | | ||
| | | | ||
|S10/(S12/S14) | |||
|- | |- | ||
| [[176/175]] | | [[176/175]] | ||
| Line 3,402: | Line 3,402: | ||
| | | | ||
|- | |- | ||
|[[352/351]] | |[[352/351]]* | ||
|S12/(S9/S11) | |S12/(S9/S11) | ||
|S11⋅S12/S9 | |S11⋅S12/S9 | ||
| Line 3,408: | Line 3,408: | ||
|(S8/S9)/(S64⋅S65) | |(S8/S9)/(S64⋅S65) | ||
|- | |- | ||
| [[364/363]] | | [[364/363]]* | ||
| S14/(S11/S13) | | S14/(S11/S13) | ||
|S13⋅S14/S11 | |S13⋅S14/S11 | ||
| Line 3,415: | Line 3,415: | ||
|- | |- | ||
|[[385/384]] | |[[385/384]] | ||
|S33⋅S34⋅S35 | |||
| | | | ||
| | | | ||
|(S8/S9)/(S64²/S65) | |(S8/S9)/(S64²/S65) | ||
| Line 3,510: | Line 3,510: | ||
| | | | ||
|- | |- | ||
|[[10241/10240]] | |[[10241/10240]]* | ||
| | | | ||
| | | | ||
| Line 3,522: | Line 3,522: | ||
| | | | ||
|- | |- | ||
|[[10648/10647]] | |[[10648/10647]]* | ||
| | | | ||
| | | | ||
| Line 3,531: | Line 3,531: | ||
|S25²⋅S26 | |S25²⋅S26 | ||
| | | | ||
| | |S15⋅(S25/S27) | ||
| | | | ||
|- | |- | ||
| Line 3,546: | Line 3,546: | ||
|S19/(S16/S18)² | |S19/(S16/S18)² | ||
|- | |- | ||
|[[41503/41472]] | |[[41503/41472]]* | ||
| | | | ||
| | | | ||
|S49⋅S55 | |||
|S65⋅S76⋅S77² | |S65⋅S76⋅S77² | ||
|- | |- | ||
| Line 3,556: | Line 3,556: | ||
| | | | ||
|S49⋅S64 | |S49⋅S64 | ||
| | |S56⋅(S76⋅S77) | ||
|- | |- | ||
| <small>[[123201/123200]]</small> | | <small>[[123201/123200]]</small> | ||
| Line 3,562: | Line 3,562: | ||
|S78/S80 | |S78/S80 | ||
| | | | ||
|S25/S27/S65 | |(S25/S27)/S65 | ||
|- | |- | ||
|[[Septischisma|<small>33554432/33480783</small>]] | |[[Septischisma|<small>33554432/33480783</small>]]* | ||
| | | | ||
| | | | ||
| Line 3,570: | Line 3,570: | ||
|S49⋅S55⋅(S64²⋅S65)² | |S49⋅S55⋅(S64²⋅S65)² | ||
|} | |} | ||
'''*important:''' commas marked with an asterisk appear commonly but do not appear elsewhere on this page, so the extra slots are used as extra equivalent expressions. | |||
{{Note| Examples that can ''easily'' (with one or two algebraic rewriting steps) be shown to result from the aforementioned [[#A useful general rule|useful general rule]] are not included. }} | {{Note| Examples that can ''easily'' (with one or two algebraic rewriting steps) be shown to result from the aforementioned [[#A useful general rule|useful general rule]] are not included. }} | ||