Physis
SI constants and the formulas of Newtonian mechanics, dimension-checked, in SI base measures.
Every value below is in SI base measures, which is also what the generated C# takes and returns.
See Physics — .hph for how units are written and reduced.
Constants — open Physis.Constants
A constant is read by .hph code — formulas and simulations — which substitutes its value; it is not a .hb definition, so opening Physis.Constants never renames anything in a .hb file.
| name | quantity | value |
|---|---|---|
c |
Velocity | 299792458 m/s |
h |
Action | 6.62607015e-34 J·s |
ħ |
Action | 1.054571817e-34 J·s |
qₑ |
Charge | 1.602176634e-19 C |
k_B |
HeatCapacity | 1.380649e-23 J/K |
N_A |
PerAmount | 6.02214076e23 mol⁻¹ |
K_cd |
LuminousEfficacy | 683 lm/W |
ΔνCs |
Frequency | 9192631770 Hz |
G |
Gravitation | 6.6743e-11 m³·kg⁻¹·s⁻² |
ε₀ |
Permittivity | 8.8541878128e-12 F/m |
μ₀ |
Permeability | 1.25663706212e-6 N·A⁻² |
mₑ |
Mass | 9.1093837015e-31 kg |
mₚ |
Mass | 1.67262192369e-27 kg |
σ |
StefanBoltzmann | 5.670374419e-8 W·m⁻²·K⁻⁴ |
g₀ |
Acceleration | 9.80665 m/s² |
More of the prelude
| file | formulas |
|---|---|
Physis.Rotation |
rodInertia, diskInertia, sphereInertia, ringInertia, torque, angularMomentum, rotationalKinetic, physicalPendulumPeriod |
Physis.Waves |
waveSpeed, wavelength, stringSpeed, dopplerSource, dopplerObserver, standingFrequency, phaseVelocity, wavelengthOf, waveDisplacement, interference |
Physis.Electromagnetism |
coulombForce, pointField, pointPotential, capacitorEnergy, inductorEnergy, lorentzForce, wireField, solenoidField, ohmVoltage, electricalPower, rcTime, lcResonance, faradayEmf, sphereField, lineField, planeField, insideSphereField, insideCylinderField, platesField, gapVoltage, electricEnergyDensity, plateCapacitance, coaxialCapacitance, sphericalCapacitance, sphereCapacitance, toroidField, loopField, magneticEnergyDensity, fieldEnergyDensity, solenoidInductance, toroidInductance, coaxialInductance, coilEmf, motionalEmf, transformerVoltage, eddyLoss, skinDepth, waveSpeedInMedium, waveImpedance, poyntingFlux |
Physis.Electromechanics |
coilForce, backEmf, freeRunSpeed, stallCurrent, stallForce, motorTorque, motorBackEmf, motorSpeed, motorEfficiency, magnetomotiveForce, gapReluctance, fluxThrough, fluxDensity, permeance, reluctanceInductance, reluctanceForce, holdingForce, couplingCoefficient, mutualInductance, leakageInductance, magnetisingInductance, coreLoss, piezoCharge, piezoDisplacement, piezoVoltage, mechanicalResonance, dampingRatio, mechanicalQ, motionalCapacitance, motionalInductance, motionalResistance |
Physis.Thermodynamics |
idealGasPressure, meanKinetic, boltzmannFactor, carnotEfficiency, isothermalWork, conduction, radiatedPower, heatFor, entropy, entropyChange, freeEnergy |
Physis.Optics |
refraction, criticalAngle, imageDistance, magnification, gratingAngle, rayleigh, photonEnergy |
Physis.Relativity |
lorentzFactor, dilatedTime, contractedLength, relativisticEnergy, relativisticMomentum, velocityAddition, restEnergy |
Physis.Fluids |
hydrostaticPressure, buoyancy, bernoulliPressure, reynolds, stokesDrag, poiseuilleFlow, continuitySpeed |
Physis.Quantum |
deBroglie, photonFrequencyEnergy, hydrogenLevel, boxLevel, comptonShift, uncertaintyBound |
Physis.Schemes |
euler, midpoint, rk4, rk45, verlet, leapfrog, backwardEuler, crankNicolson, eulerMaruyama |
Every one is a static method of the class named for its file: MLambda.Hilbert.Physis.Optics.Refraction(1, 1.5, π/6).
Mechanics — open Physis.Mechanics
| formula | answers | definition |
|---|---|---|
kinetic(m : Mass, v : Velocity) |
Energy | ½·m·v² |
momentum(m : Mass, v : Velocity) |
Momentum | m·v |
gravityPotential(m : Mass, height : Length) |
Energy | m·g₀·height |
springPotential(k : SpringConstant, x : Length) |
Energy | ½·k·x² |
hooke(k : SpringConstant, x : Length) |
Force | −k·x |
work(force : Force, distance : Length) |
Energy | force·distance |
power(force : Force, v : Velocity) |
Power | force·v |
gravitation(m1 : Mass, m2 : Mass, r : Length) |
Force | G·m1·m2 / r² |
linearDragForce(b : LinearDrag, v : Velocity) |
Force | −b·v |
quadraticDragForce(k : QuadraticDrag, v : Velocity) |
Force | −k·v·|v| |
centripetal(v : Velocity, r : Length) |
Acceleration | v² / r |
orbitalSpeed(M : Mass, r : Length) |
Velocity | √(G·M / r) |
kineticFromMomentum(m : Mass, p : Momentum) |
Energy | p² / (2·m) |
keplerPotential(m1 : Mass, m2 : Mass, r : Length) |
Energy | −G·m1·m2 / r |
oscillatorPeriod(m : Mass, k : SpringConstant) |
Time | 2π·√(m / k) |
pendulumPeriod(L : Length) |
Time | 2π·√(L / g₀) |
drivenAmplitude(force : Force, m : Mass, natural : AngularVelocity, omega : AngularVelocity, gamma : Frequency) |
Length | force / (m·√((natural² − omega²)² + (gamma·omega)²)) |
rayleighDissipation(b : LinearDrag, v : Velocity) |
Power | ½·b·v² |
From C#: MLambda.Hilbert.Physis.Mechanics.Kinetic(2, 3) == 9.