The planets library

Some information about the planets

• Planetary mass
• Planetary density
• Day length
• Sidereal day length

Also units of measurement for earth and sun mass.

Synopsis

day_length :: hour/day*Planet!
earthmass_per_yottagram :: earthmass/yotta:gram
planetary_density :: gram/centi:metre^3*Planet!
planetary_earthmass :: earthmass*Planet!
planetary_mass :: yotta:gram*Planet!
planetary_mass_in_kg :: kilo:gram*Planet!
sidereal_day_length :: hour/sidereal_day*Planet!
sidereal_day_per_day :: sidereal_day/day

Index sets

Planet

The planets in the Solar system.

Values

day_length

:: hour/day*Planet!

The length of a day in hours. The equivalent of earth's 24 hour for each planet.

earthmass_per_yottagram

:: earthmass/yotta:gram

Conversion factor from yottagram to earthmass.

planetary_density

:: gram/centi:metre^3*Planet!

Density of the planets.

planetary_earthmass

:: earthmass*Planet!

The mass of the planets relative to earth's mass.

planetary_mass

:: yotta:gram*Planet!

Mass of the planets.

planetary_mass_in_kg

:: kilo:gram*Planet!

Planterary mass converted to kilogram.

sidereal_day_length

:: hour/sidereal_day*Planet!

The length of a day in hours. The equivalent of earth's 24 hour for each planet.

sidereal_day_per_day

:: sidereal_day/day

Version v0.6.2, 2026-05-24T18:22:38.700052600+02:00[Europe/Amsterdam]