Notices by ⛧ numerik ⛧ (d6@merveilles.town)

major milestone achieved! the emulation is accurate enough that i can edit term.tal in emacs running in determ!

@neauoire @alderwick no, there's no exponent that you can raise a prime number to which gives you zero.

2^0 * 3^0 * ... = 1.

you can only reach zero using zero and once you're there you can never leave.

@neauoire @alderwick for addition, zero is the identity element (x + 0 = 0 + x = x).

for multiplication, one is the identity element (x * 1 = 1 * x = x). zero is called the annihilator (x * 0 = 0 * x = 0). addition does not have an annihilator.

@neauoire @alderwick annihilation isn't a gate (or a mirror) in this interpretation. you are throwing away the information contained in the other argument. it doesn't depend on the input at all.

@neauoire @alderwick correct. if i give you X and say that i just multiplied some number by 1 you know that the number was X.

if i give you 0 and say that i just multiplied some number by 0 you can't possibly know which one i used.

@AlgoCompSynth fwiw i don't think factor runs on the JVM (although i think a very old version of it did) @neauoire