Given a "base space" V.,
we want to find
- a "superspace"
V' ⊃ V, - a mapping
_' : V => V', and - a (commutative) dot product
.'in the superspaceV'
such that a' .' b' = (a - b)^2.
This code systematically explores the solution space for the puzzle "Das Haus vom Nikolaus". It finds various things:
Usually one is only allowed to cross the middle of the house (the X in the sketch near the beginning of the code) in a straight line from b to e or from c to d or in the opposite direction. But some people consider the crossing as an actual vertex where you may start or end the path or change the direction. The program handles both variants.
Here are the numbers of paths of each kind found by the program for each variant of the puzzle:
|| solutions
This gist contains some experiments/ideas for typing geometric-algebra code in TypeScript.
These ideas might be applied to PEGEAL at some point.
a^2 - b = 133 (1)
b^2 - a = 133 (2)
The original problem, about which there are several
Youtube videos,
has the additional condition a ≠ b. But I did not see this in the banner
pictures. So I found more solutions.