Closed akoehn closed 7 years ago
Original comment by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).
The newest commit changes the way the computation is done, so that the subtrees are no longer computed before they are needed. This should also (slightly) speed up the computation of homomorphic images under the applyRaw method of homomorphism.
Original changes by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).
changed state from "new" to "resolved"
Original report by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).
applyRaw computes the homomorphic images for subtrees that never influence the end-result. Not doing this might save computations and also enable use to have partially defined homomorphisms.