X-Rule

[wildmyron]

P16 Ga backrake:

Code: Select all

x = 8, y = 13, rule = B2eic3ic4rnj5ink/S12aein4qiyne5re6aei8
4bobo$7bo$4bobo$2bo$2bo$4bobo$7bo$bo2bobo$obo$obo$bo2bobo$7bo$4bobo!

I think this one is smaller than the other known ones.
EDIT: p6

Code: Select all

x = 6, y = 7, rule = B2cei3ci4jnr5ikn/S12aen3c4einqy5er6aei8
2o2b2o$o4bo2$b3o2$o4bo$2o2b2o!

EDIT2: a potential c/3

Code: Select all

x = 5, y = 9, rule = B2cei3ci4jnr5ikn/S12aen3c4einqy5er6aei8
bo$2o$bo2$2b3o2$bo$2o$bo!

probably useless.
EDIT3: a better one

Code: Select all

x = 6, y = 5, rule = B2cei3ci4jnr5ikn/S12aen3c4einqy5er6aei8
3b2o$5bo$3o2bo$5bo$3b2o!

Not sure if you realised, but the backrake works in the x-rule precursor rule (aka "pre-x-rule"), whilst the p6 and c/3 reactions are in the precursor variant rule which I accidentally posted after incorrectly determining the Hensel notation for the isotropic rule (aka "x-rule-pre")
I don't think I searched for spaceships in the x-rule-pre rule but in the actual x-rule precursor rule I ran a battery of searches with modified gfind. Here is a summary of the unsuccessful results for c/3:

Unsuccessful search results, c/3:
asymmetric, width 22
odd bilaterally symmetric, width 43
even bilaterally symmetric, width 44

Unsuccessful search results, 2c/6:
glide symmetric, width 22/23
odd bilaterally symmetric, width 23
even bilaterally symmetric, width 24

Unsuccessful search results, 3c/9:
odd bilaterally symmetric, width 13
even bilaterally symmetric, width 14

Unsuccessful search results, 4c/12:
odd bilaterally symmetric, width 9
even bilaterally symmetric, width 10

Unsuccessful search results, 5c/15:
odd bilaterally symmetric, width 7
even bilaterally symmetric, width 8

Even though this doesn't translate directly to x-rule-pre, I think it's safe to say that those reactions aren't particularly promising frontends as very little of the partial is reproduced and it doesn't look easy to modify the reaction to create the required sparks and keep the reaction going.

[jmgomez]

Code: Select all

x = 66, y = 67, rule = pre-x-rule
b2o$o4$5bobo$5bo3$11bo$10bo$10bo3$15b2o2$15bo3$20b2o$19bo4$24bobo14b2o
5b2o$24bo16bo7bo$43bo3bo$42b2o3b2o$16b2o5b2o5bo27b2o$16bo7bo4bo14bobo
12bo$18bo3bo6bo7b2o5bobo5b2o$17b2o3b2o15bo4b3o4bo$6b2o29b2o5bobo5b2o$
6bo12bobo22bobo12bo$12b2o5bobo5b2o29b2o$14bo4b3o4bo15b2o3b2o$12b2o5bob
o5b2o7bo6bo3bo$6bo12bobo14bo4bo7bo$6b2o27bo5b2o5b2o$17b2o3b2o$18bo3bo$
16bo7bo16bo$16b2o5b2o14bobo4$46bo$44b2o3$50bo2$49b2o3$55bo$55bo$54bo3$
60bo$58bobo4$65bo$63b2o!

[BlinkerSpawn]

There's also this:

Code: Select all

x = 45, y = 38, rule = pre-x-rule
25b2o3b2o$25bo5bo4$28bo$27bobo2$27bobo2$21b2o11b2o$21bo2bo7bo2bo$23b2o
2b3o2b2o$26bo3bo12b2o$25bo2bo2bo$26bo3bo13bo$23b2o2b3o2b2o$21bo2bo7bo
2bo$21b2o11b2o2$27bobo2$27bobo$10b2o5b2o9bo4bobo$10bo7bo16bo$12bo3bo$
11b2o3b2o$2o11bobo$o2bo10bo$2b2o6bo2b3o2bo$3bo5bo9bo$2b2o6bo2b3o2bo$o
2bo10bo$2o11bobo$11b2o3b2o$12bo3bo$10bo7bo$10b2o5b2o!

[jmgomez]

@BlinkerSpawn:

Nice¡ with different period.

[jmgomez]

Awesome,

Hopefully you see this message. I was trying to contact to you. Please send to me a message in the forum email system or in jmgomezuam@gmail.com.

Best Regards
-jm

[jmgomez]

Hello everybody!

Just to announced the paper "X-Rule's Precursor is also Logically Universal", https://arxiv.org/abs/1611.08829

Thanks for all your contributions!

Best Regards
-jm

[LaundryPizza03]

Bump

Golly 3.0 natively supports non-isotropic rules; the MAP string for this one is

Code: Select all

MAPBSB64CCTqARFBImEADAGBSCTgICTSIAAADCFCSTAAAANAMEUBCKEBchCE00YAE3IACSFACCIQQDIIF4UIIAGSA

Also, nobody has yet apgsearched pre-x-rule or x-rule-pre; these are supported in apgluxe.

Finally, x-rule-pre has yet to be proven Turing-complete.

[BlinkerSpawn]

Finally, x-rule-pre has yet to be proven Turing-complete.

The proof of this follows the same logic as the proof for the other two, but with slightly different guns.
Feel free to search the precursor rules yourself if you'd like; there's lots of interesting stuff there.

[83bismuth38]

Code: Select all

x = 73, y = 1, rule = x-rule
obo3b2obob3obob2obob6ob2ob4o2bob2ob3obo4b2obob3o2b6o3b2o!

it's natural, too!
EDIT: also it's a diagonal gun with this neat little reflector:

Code: Select all

x = 25, y = 25, rule = x-rule
2o21b2o$9bobo3bobo$12bobo$9bobo3bobo$2o21b2o14$9b2o2$9bo$13bo$13b2o$
11bo$11b2o!

EDIT 2: nevermind it's not new, i didn't read the whole thing properly. oh well

[LaundryPizza03]

Finally, x-rule-pre has yet to be proven Turing-complete.

The proof of this follows the same logic as the proof for the other two, but with slightly different guns.
Feel free to search the precursor rules yourself if you'd like; there's lots of interesting stuff there.

I don't get the process at all, so I'll just bring it up at the apgsearch request thread.

[LaundryPizza03]

A p20 ship just came out of pre-X-rule soup:

Code: Select all

x = 16, y = 16, rule = B2cei3ci4jnr5ikn/S12-ck4einqy5er6aei8
bbbbbboboooobobo$
ooobooobobooboob$
ooooobbbobbbobbo$
ooboobbooboobobb$
obbboboobooooobo$
obboooboooboobbb$
oboobbbbobbbbooo$
bbooobobbbbooobb$
obooobbbboboobbo$
bobbobbbboobbobo$
obobbbboobobooob$
oobobbbbobbooobb$
bobobobobbobbbob$
oboobbobbbbbbboo$
bobobbboooobooob$
oooobbooboobobbb!

And out of X-rule-pre soup, a bizarre yl2700 consisting forward/backward rake:

Code: Select all

x = 16, y = 16, rule = B2cei3ci4jnr5ikn/S12aen3c4einqy5er6aei8
oobbobbobboboboo$
bobboobbobbobbob$
boooobbobooooobo$
obbbbobbbobbboob$
ooobooobbbooobbb$
obbbbobbooobobbo$
bbboobbbobbobbob$
bboooobboobbbbbb$
bobooobobbooobbb$
boboooboooobbboo$
bbbbbobbbbbobobb$
booobbobbobbbbbo$
ooboobbbbboooobo$
oooobboobbooooob$
boobbboboboooooo$
oobooobboobobboo!

Now that I have apgsearch, I'll try some soup myself.

[BlinkerSpawn]

And out of X-rule-pre soup, a bizarre yl2700 consisting forward/backward rake:

That's pretty unusual, and it sure isn't p2700; I think what's going on is that the parser doesn't realize that the two streams are only different periods due to the Doppler effect, and combines the periods naively the same way it combines pseudo-oscillators that share stators (e.g. in Day and Night and other dense rules).

[calcyman]

And out of X-rule-pre soup, a bizarre yl2700 consisting forward/backward rake:

That's pretty unusual, and it sure isn't p2700; I think what's going on is that the parser doesn't realize that the two streams are only different periods due to the Doppler effect, and combines the periods naively the same way it combines pseudo-oscillators that share stators (e.g. in Day and Night and other dense rules).

Correct. In the same way, the antstretcher with a p5 tail and a p4 c/4 front in B3/S23 would be called 'yl20'. There's no way, without arbitrarily breaking symmetry, to choose an appropriate lower period.

[BlinkerSpawn]

Since nobody's going to go back and hunt down an edit to a two-year old post I'll just dump a further reduction to the push breeder here:

Code: Select all

x = 86, y = 40, rule = B2cei3ci4jnr5ikn/S12-ck4einqy5er6aei8
55b2o3b2o$42b2o3b2o6bo2bo2bo$29b2o3b2o6bo5bo8b3o$16b2o3b2o6bo5bo20b2ob
2o$3b2o3b2o6bo5bo22bo10bo3bo$3bo5bo22bo11bobo11bo4b2o$18bobo9bo3bo16b
2o5bo5bo$18bobo11bo5b2o4bobo4bo2bo2b3o2bo$6bo10b2ob2o3b2o11bo2bo2b3o2b
o3bo3bobo3bo$2o10b2o4b3o4bo2bo7bo3bo2b2ob2o2bo$o11bo2bo3bo3bo3b2o2b3o
2b2o6bobo7bo7bo$2bo3bo3bo3b2o7b2o7bo10bo3bo$b2o2bobo2b2o4b2o3b2o21bobo
6bo3bobo3bo$32bo7bo2b2ob2o2bo3bo2b3o2bo$5b3o8b2o3b2o4b2o2b3o2b2o3bo2b
3o2bo2bo5bo5bo$14b2o7b2o3bo7bo2bo4bobo4b2o10b2o6b2o5b2o$b2o2bobo2b2o3b
o3bo3bo2bo11b2o31bo7bo$2bo3bo3bo2bo4b3o4b2o17bobo11bo14bo3bo$o11b2o3b
2ob2o23bo12bo13bo5bo$2o16bobo11bo23b3o25b2o$18bobo12bo23bo15bobobo7bo$
6b2o22bo22bo3bobo9bob4ob4obo$6b2o36bo6bo16bo3bo5bo3bo$31bo10b3o5bo4bo
3b2o8bob4ob4obo$18bo5b2o6bo12b2o4bo21bobobo7bo$5b2o9bo9bo6b2o7b3o8bo
30b2o$5b2o8bo4bo3b2o18bo27bo5bo$6bobo7bo44b2o7bo2bo3bo$18bo42bo2bo3bo
2bo7bo$63bo2bo2bo8b2o$75b2o$19bo9bo27bo14b2o2bo$8bobo6b3o7bo8b2o8bobo
6b3o5b2o3b2o3b2o$7bo12b2o4bo4bo6bo6bo12b2o2b2o5b3o2b2o$8bobo6b3o7bo8b
2o8bobo6b3o5b2o3b2o3b2o$19bo9bo27bo14b2o2bo$75b2o$63bo2bo2bo$61bo2bo3b
o2bo$61b2o7b2o!

[TYCF]

Spaceship hitting a two-cell-long line.

Code: Select all

x = 126, y = 713, rule = x-rule
2o23b2o$bo23bo$5bobo15bo$8bo13bo$5bobo15bo$bo23bo$2o23b2o8$11bo$11bo2$
11bo$10bobo$10bobo23$13bo$13bo3$12bobo$13bo21$11bo3$10b3o$9b2ob2o$10b
obo$10bobo22$13bo$13bo$12b3o$12bobo2$12bobo$13bo22$11bo$11bo2$11bo$10b
obo$10bobo23$13bo$13bo3$12bobo$13bo21$11bo3$10b3o$9b2ob2o$10bobo$10bo
bo22$13bo$13bo$12b3o$12bobo2$12bobo$13bo22$11bo$11bo2$11bo$10bobo$10b
obo23$13bo$13bo3$12bobo$13bo21$11bo3$10b3o$9b2ob2o$10bobo$10bobo22$13b
o$13bo$12b3o$12bobo2$12bobo$13bo22$11bo$11bo2$11bo$10bobo$10bobo23$13b
o$13bo3$12bobo$13bo21$11bo3$10b3o$9b2ob2o$10bobo$10bobo22$13bo$13bo$12b
3o$12bobo2$12bobo$13bo22$11bo$11bo2$11bo$10bobo$10bobo23$13bo$13bo3$12b
obo$13bo21$11bo3$10b3o$9b2ob2o$10bobo$10bobo22$13bo$13bo$12b3o$12bobo
2$12bobo$13bo22$11bo$11bo2$11bo$10bobo$10bobo23$13bo$13bo110bo$125bo$
125bo$12bobo$13bo15$99b2o$101bo5$11bo$4bo$4b2o$10b3o$9b2ob2o$10bobo$10b
obo6$75bo$76bo$76bo14$13bo$13bo$12b3o$12bobo35b2o$52bo$12bobo$13bo15$
26bo$27bo$27bo5$11bo$11bo2$11bo$10bobo$10bobo3$11bo$11bo28$9bo$9bo!

Code: Select all

x = 1336, y = 2214, rule = x-rule
397$338bo$338bo10$357bo$355bobo8$339bobo$339bobo$340bo2$340bo$340bo4$
381bo2$380b2o16$338bo$337bobo66bo$404bobo$337bobo$337b3o$338bo$338bo13$
430bo2$429b2o7$339bobo$339bobo$338b2ob2o$339b3o3$340bo4$455bo$453bobo
16$338bo$337bobo139bo2$478b2o$338bo$338bo15$504bo$502bobo7$339bobo$339b
obo$340bo2$340bo$340bo5$528bo2$527b2o15$338bo$337bobo$553bo$337bobo211b
obo$337b3o$338bo$338bo14$577bo2$576b2o6$339bobo$339bobo$338b2ob2o$339b
3o3$340bo5$602bo$600bobo15$338bo$337bobo$626bo2$338bo286b2o$338bo16$651b
o$649bobo6$339bobo$339bobo$340bo2$340bo$340bo6$675bo2$674b2o14$338bo$
337bobo2$337bobo360bo$337b3o358bobo$338bo$338bo15$724bo2$723b2o5$339b
obo$339bobo$338b2ob2o$339b3o3$340bo6$749bo$747bobo14$338bo$337bobo2$773b
o$338bo$338bo433b2o17$798bo$796bobo5$339bobo$339bobo$340bo2$340bo$340b
o7$822bo2$821b2o13$338bo$337bobo2$337bobo$337b3o507bo$338bo506bobo$338b
o16$871bo2$870b2o4$339bobo$339bobo$338b2ob2o$339b3o3$340bo7$896bo$894b
obo13$338bo$337bobo3$338bo581bo$338bo$919b2o17$945bo$943bobo4$339bobo
$339bobo$340bo2$340bo$340bo8$969bo2$968b2o2$979bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo$979bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5$966bobo$968bo3$338bo$337bobo2$337bobo$337b3o$338bo$338b
o$963bo2$963b2o5$942b2o2$943bo10$950bo$950bobo$339bobo$339bobo$338b2o
b2o$339b3o2$917bobo$340bo578bo10$938bo2$938b2o5$893b2o2$894bo2$338bo$
337bobo3$338bo$338bo3$925bo$925bobo6$868bobo$870bo10$913bo2$339bobo571b
2o$339bobo$340bo2$340bo$340bo503b2o2$845bo10$900bo$900bobo6$819bobo$821b
o2$338bo$337bobo2$337bobo$337b3o$338bo$338bo2$888bo2$888b2o5$795b2o2$
796bo10$875bo$339bobo533bobo$339bobo$338b2ob2o$339b3o3$340bo429bobo$772b
o10$863bo2$863b2o5$746b2o2$747bo$338bo$337bobo3$338bo$338bo4$850bo$850b
obo6$721bobo$723bo10$838bo$339bobo$339bobo496b2o$340bo2$340bo$340bo$697b
2o2$698bo10$825bo$825bobo6$672bobo$674bo$338bo$337bobo2$337bobo$337b3o
$338bo$338bo3$813bo2$813b2o5$648b2o2$649bo10$339bobo458bo$339bobo458b
obo$338b2ob2o$339b3o3$340bo$623bobo$625bo10$788bo2$788b2o5$599b2o2$338b
o261bo$337bobo3$338bo$338bo5$775bo$775bobo6$574bobo$576bo10$339bobo421b
o$339bobo$340bo422b2o2$340bo$340bo2$550b2o2$551bo10$750bo$750bobo6$525b
obo$338bo188bo$337bobo2$337bobo$337b3o$338bo$338bo4$738bo2$738b2o2$327b
2o23b2o$328bo4bo18bo$333b3o13b2o$331b2o18bo149b2o$333b3o13b2o$328bo4b
o18bo149bo$327b2o23b2o8$338bo$338bo386bo$337b3o385bobo$337bobo2$337bo
bo$338bo2$476bobo$478bo10$713bo2$713b2o5$452b2o2$340bo112bo$340bo2$340b
o$339bobo$339bobo5$700bo$700bobo6$427bobo$429bo10$338bo349bo$338bo$688b
2o2$337bobo$338bo2$403b2o2$404bo10$675bo$675bobo6$340bo37bobo$380bo2$
339b3o$338b2ob2o$339bobo$339bobo5$663bo2$663b2o5$354b2o2$355bo8$338bo
$338bo$650bo$650bobo17$638bo2$638b2o17$625bo$625bobo17$613bo2$613b2o17$
600bo$600bobo17$588bo2$588b2o17$575bo$575bobo17$563bo2$563b2o17$550bo
$550bobo17$538bo2$538b2o17$525bo$525bobo17$513bo2$513b2o17$500bo$500b
obo17$488bo2$488b2o17$475bo$475bobo233$331bo$331b2o91$336bo$336bo!