# Planetary gear system
# Scope: Ideal fixed-ring sun-input planetary; integer tooth compatibility.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

sun = 20
ring = 60
inputSpeed = 1000 rpm
inputTorque = 1 N*m

planet := (ring-sun)/2
ratio := 1+ring/sun
outputSpeed := inputSpeed/ratio [rpm]
outputTorque := inputTorque*ratio [N*m]

check planet tooth integer: abs(planet-floor(planet)) <= 0

scenario alternative: sun = 16


# Diagram dimensions are illustrative; teeth are schematic, not manufacturing profiles.
module = 2 mm
planets = 4
assemblyPhase := (sun + ring)/planets
check equal planet assembly: abs(assemblyPhase-round(assemblyPhase)) <= 0
check whole sun: abs(sun-round(sun)) <= 0
check positive sun: sun >= 3
check whole ring: abs(ring-round(ring)) <= 0
check positive ring: ring >= 3
check whole planet: abs(planet-round(planet)) <= 0
check positive planet: planet >= 3
check whole planets: abs(planets-round(planets)) <= 0
check positive planets: planets >= 1