Skip to main content
added 6 characters in body
Source Link
Neil
  • 184.4k
  • 12
  • 76
  • 290

Charcoal, 5353 44 bytes

≔E³∧⊖ι⊘⁺⊖ι₂⁵υ≔EυEυ§υ⁺κμυ⊞υEυ¹FυFE³Eι⎇⁼κν±μμF¬№υκ⊞υκIυ≔E²E³∨ι∧⊖λ⊘⁺⊖λ₂⁵υFυFE²⊞OΦιν×⊖⊗κ§ι⁰F¬№υκ⊞υκIυ 

Try it online!Try it online! Link is to verbose version of code. Explanation: Uses the formula from this Math.SE answer.

≔E³∧⊖ι⊘⁺⊖ι₂⁵υ≔E²E³∨ι∧⊖λ⊘⁺⊖λ₂⁵υ 

Get the pointpoints [1/ϕ, 0, ϕ] and [1, 1, 1].

≔EυEυ§υ⁺κμυFυFE²⊞OΦιν×⊖⊗κ§ι⁰F¬№υκ⊞υκIυ 

Get its rotationsFor each point, rotate it around the axis x=y=z.

⊞υEυ¹FυFE³Eι⎇⁼κν±μμ 

Loop through each, and also reflect the rotated point in the xy plane, and get its reflections.

F¬№υκ⊞υκ 

Savesave and process any new reflectionspoints thus found.

Iυ 

Output the final dodecahedron.

Charcoal, 53 bytes

≔E³∧⊖ι⊘⁺⊖ι₂⁵υ≔EυEυ§υ⁺κμυ⊞υEυ¹FυFE³Eι⎇⁼κν±μμF¬№υκ⊞υκIυ 

Try it online! Link is to verbose version of code. Explanation: Uses the formula from this Math.SE answer.

≔E³∧⊖ι⊘⁺⊖ι₂⁵υ 

Get the point [1/ϕ, 0, ϕ].

≔EυEυ§υ⁺κμυ 

Get its rotations around the axis x=y=z.

⊞υEυ¹FυFE³Eι⎇⁼κν±μμ 

Loop through each point and get its reflections.

F¬№υκ⊞υκ 

Save and process any new reflections found.

Iυ 

Output the final dodecahedron.

Charcoal, 53 44 bytes

≔E²E³∨ι∧⊖λ⊘⁺⊖λ₂⁵υFυFE²⊞OΦιν×⊖⊗κ§ι⁰F¬№υκ⊞υκIυ 

Try it online! Link is to verbose version of code. Explanation: Uses the formula from this Math.SE answer.

≔E²E³∨ι∧⊖λ⊘⁺⊖λ₂⁵υ 

Get the points [1/ϕ, 0, ϕ] and [1, 1, 1].

FυFE²⊞OΦιν×⊖⊗κ§ι⁰F¬№υκ⊞υκIυ 

For each point, rotate it around the axis x=y=z, and also reflect the rotated point in the xy plane, and save and process any new points thus found.

Iυ 

Output the final dodecahedron.

Source Link
Neil
  • 184.4k
  • 12
  • 76
  • 290

Charcoal, 53 bytes

≔E³∧⊖ι⊘⁺⊖ι₂⁵υ≔EυEυ§υ⁺κμυ⊞υEυ¹FυFE³Eι⎇⁼κν±μμF¬№υκ⊞υκIυ 

Try it online! Link is to verbose version of code. Explanation: Uses the formula from this Math.SE answer.

≔E³∧⊖ι⊘⁺⊖ι₂⁵υ 

Get the point [1/ϕ, 0, ϕ].

≔EυEυ§υ⁺κμυ 

Get its rotations around the axis x=y=z.

⊞υEυ¹FυFE³Eι⎇⁼κν±μμ 

Loop through each point and get its reflections.

F¬№υκ⊞υκ 

Save and process any new reflections found.

Iυ 

Output the final dodecahedron.