SimpleWrap
│ provides power SB([0.703036044,250]) W │ requires mass_battery {228.110266561,7213.48,7.21348} kg
│ │ requires total_cost {43.28085,612.08365061,8656.17} USD
└ DP_Catalog SB([0.703036044,250]) W ⇸ WU ⟨kg,USD⟩
└ Π<2> Showing first 5 of 9
├ FiniteSubWithMath n=3 0.703036044 W ↤ model0 ↦ ⟨7.21348 kg,43.28085 USD⟩
│ ├ wrapped: SB([7.21348,7213.48]) 23.75831588 W ↤ model1 ↦ ⟨7.21348 kg,612.08365061 USD⟩
│ └ values: {228.110266561, 7.21348, 7213.48} 23.790645491 W ↤ model2 ↦ ⟨7.21348 kg,8656.17 USD⟩
└ FiniteSubWithMath n=3 7.07501901 W ↤ model3 ↦ ⟨228.110266561 kg,43.28085 USD⟩
├ wrapped: SB([43.28085,8656.17]) 239.09234533 W ↤ model4 ↦ ⟨228.110266561 kg,612.08365061 USD⟩
└ values: {43.28085, 612.08365061, 8656.17}
catalogue(𝒇, 𝒓)