perception

Editor GitHub dshen109libraries tariff_design specs models thingsperception

Editor

Visualization

mcdp { provides disapproval [dimensionless] requires revenue_A [USD] requires revenue_B [USD] # provides complexity_A [Nat] # provides complexity_B [Nat] constant dollar_pain_A = 1 [1/USD] constant dollar_pain_B = 1 [1/USD] # constant confusion_A = 0.1 [dimensionless] # constant confusion_B = 0.1 [dimensionless] provided disapproval <= required revenue_A * dollar_pain_A + required revenue_B * dollar_pain_B }

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                                   
│    provides   disapproval   SB(≥0) │ requires   revenue_A   SB(≥0) USD                                       
│                                    │ requires   revenue_B   SB(≥0) USD                                       
│  6 nodes, 5 edges                                                                                            
│   connected rec: ✓                                                                                           
│  provided disapproval                        ≤ _result provided by _invplus         equiv id                 
│  _op required by _invmultvalue               ≤ required revenue_A                   equiv id                 
│  _op required by _invmultvalue1              ≤ required revenue_B                   equiv id                 
│  _invmultvalue1__result required by _invplus ≤ _result provided by _invmultvalue1   equiv id                 
│  _invmultvalue__result required by _invplus  ≤ _result provided by _invmultvalue    equiv id                 
├  _invmultvalue: SimpleWrap                                                                                   
│                 │  provides   _result   SB(≥0) │ requires   _op   SB(≥0) USD                                 
│                 └ DP_L_LME SB(≥0)  ⇸  SB(≥0) USD                                                             
│                    𝒇 ≤ 𝒓                                                                                     
│                   M_C_WrapUnits   USD → dimensionless > M_Identity   SB(≥0)  →   same x ⟼ x                  
├ _invmultvalue1: SimpleWrap                                                                                   
│                 │  provides   _result   SB(≥0) │ requires   _op   SB(≥0) USD                                 
│                 └ DP_L_LME SB(≥0)  ⇸  SB(≥0) USD                                                             
│                    𝒇 ≤ 𝒓                                                                                     
│                   M_C_WrapUnits   USD → dimensionless > M_Identity   SB(≥0)  →   same x ⟼ x                  
└       _invplus: SimpleWrap                                                                                   
                  │  provides   _result   SB(≥0) │ requires   _invmultvalue__result    SB(≥0)                  
                  │                              │ requires   _invmultvalue1__result   SB(≥0)                  
                  └ M_Fun_AddMany_DP SB(≥0)  ⇸  WU ⟨dimensionless,dimensionless⟩                               
                                                └ (_invmultvalue._result:SB(≥0)×_invmultvalue1._result:SB(≥0)) 
                     𝒇 ≤ 𝒓₁ + 𝒓₂                                                                               
                    ├   opspace: SB(≥0)                                                                        
                    ├        Rs: ├ SB(≥0)                                                                      
                    │            └ SB(≥0)                                                                      
                    ├ Rs_labels: ├ ├ _invmultvalue                                                             
                    │            │ └ _result                                                                   
                    │            └ ├ _invmultvalue1                                                            
                    │              └ _result                                                                   
                    └      algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT