Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Function Repository Resource:
Move back and forth from the squared space or square root space of an algebraic number field
ResourceFunction["SqrtSpace"][root,pts] while tracking signs, converts Cartesian pts2 to algebraic values in   | 
Using ϕ, GoldenRatio or Fibonacci’s rabbit constant, convert points to the algebraic number field 
 and build the Fermat triangle:
| In[1]:= | ![]()  | 
| Out[3]= | ![]()  | 
Using ψ, the supergolden ratio or Narayana’s cow constant, convert points to the algebraic number field 
 and build the supergolden triangle:
| In[4]:= | ![]()  | 
| Out[6]= | ![]()  | 
Convert back to the original points:
| In[7]:= | 
| Out[7]= | 
Under "Neat Examples" in GeometricScene, there is a mysterious output after "Decompose a triangle into similar triangles":
| In[8]:= | ![]()  | 
| Out[8]= | ![]()  | 
This triangle is in the algebraic number field / geometric space of 
 where ρ is the plastic constant:
| In[9]:= | ![]()  | 
| Out[11]= | ![]()  | 
Convert the points back to original values:
| In[12]:= | 
| Out[12]= | ![]()  | 
A simple application of ToNumberField does not recognize the points as being in either 
 or 
, but does recognize the values when they get squared:
| In[13]:= | ![]()  | 
| Out[14]= | ![]()  | 
These values are algebraic numbers:
| In[15]:= | 
| Out[15]= | 
The actual point is also a pair of algebraic numbers:
| In[16]:= | 
| Out[16]= | 
The signs here happen to be positive, so taking the square root of the algebraic version does not require extra steps:
| In[17]:= | 
| Out[17]= | 
Convert 19 points from the algebraic number field 
 of the plastic constant ρ into 3D coordinates:
| In[18]:= | ![]()  | 
| Out[19]= | ![]()  | 
Find the distances between these points in terms of powers of 
:
| In[20]:= | 
| Out[20]= | ![]()  | 
Plot out the points:
| In[21]:= | ![]()  | 
| Out[21]= | ![]()  | 
Wolfram Language 11.3 (March 2018) or above
This work is licensed under a Creative Commons Attribution 4.0 International License