Spent two hours with type-level nats, data kinds and every Haskell extension in existence. I might be overengineering my algebra homework.
@3_of_8 @larsr_h @milessabin @cartazio Definitely. Root finding and related stuff is something we want now that we have Polynomials.
-
-
@tixxit@3_of_8@larsr_h@milessabin eigen values may be easier for multivariate problems when applicable. -
@cartazio@tixxit@larsr_h@milessabin I cannot quite follow. Obviously, eigenvalues are related 1:1 to roots. But why multivariate? - 2 more replies
New conversation -
-
-
@tixxit@larsr_h@milessabin@cartazio As it happens, I have a Isabelle project on this: https://github.com/3of8/sturm Should be able to adapt it.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.