Trusted Algebraic LInearization of Sub-Circuits with Matrix-based Algorithms using Normalforms - View it on GitHub