Project

General

Profile

feature request #9216

Updated by Andreas Kohlbecker over 3 years ago

Note: The root of non-cyclic directed graph of derivation events can either be a FieldUnit or a DerivedUnit 

 The following graph (FU = FieldUnit, D = Derivate, `*D3*` *D3* = focused derivative): 

 ~~~ 

 FU1 ----> D1 ---> D2 --> *D3* --> D6 
                   ^         | 
                   |         +-----> D7 
 FU2 ----- D4 -----+ 
                   ^ 
                   | 
           D5 -----+ 
 ~~~ 

 should be merged like  

 ~~~ 
 FU1,FU2 ----> D1,D4,D5 ---> D2 --> *D3* --> D6 
                                     | 
                                     +-----> D7 
 ~~~    

Back