search

khei4 / sym_diff

symbolic differentiation optimizer
MIT License
1 stars 0 forks source link

Domを複数のエントリーがあってもよくする #27

Closed khei4 closed 3 years ago

khei4 commented 3 years ago

まずDerivのrootsを複数にする. 新しいRootを一次的に追加してそれ抜きの支配関係を求める. どれかのrootには支配されるはずだからオプションじゃなくてよさそう

それができれば同じのでpDomも逆でやるだけ

khei4 commented 3 years ago

というかこれ, やってはいけないな... そもそもDominance Relationを複数のエントリーについて調べてしまうと意味が変わってしまう. あーやめ

postはあれでよかったはず,

グラフ単位で求めるだけなので