e05_multr

Editor GitHub co-design-modelslibraries lib3-advanced specs models thingse05_multr

Editor

Visualization

	`mcdp { provides f [dimensionless] requires r₁ [dimensionless] requires r₂ [dimensionless] provided f ≤ required r₁ · required r₂ }`

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                
│    provides   f   SB(≥0) │ requires   r_1   SB(≥0)                        
│                          │ requires   r_2   SB(≥0)                        
│  4 nodes, 3 edges                                                         
│   connected rec: ✓                                                        
│  provided f               ≤ _result provided by _invmult   equiv id       
│  r_1 required by _invmult ≤ required r_1                   equiv id       
│  r_2 required by _invmult ≤ required r_2                   equiv id       
└ SimpleWrap                                                                
  │  provides   _result   SB(≥0) │ requires   r_1   SB(≥0)                  
  │                              │ requires   r_2   SB(≥0)                  
  └ M_Fun_MultiplyMany_DP SB(≥0)  ⇸  WU ⟨dimensionless,dimensionless⟩       
                                     (SB(≥0)×SB(≥0))                        
     𝒇 ≤ 𝒓₁⋅𝒓₂                                                              
    ├   Rs: ├ SB(≥0)                                                        
    │       └ SB(≥0)                                                        
    └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT