Охуеть, рулес, обеспечивающий преобразование a²t² + bt + c в что-то удобоваримое выглядит как
binaryRules (Plus, NBin Mul (LC a) (NBin Pow t1 (LC 2)), NBin Mul (LC b) t2) | t1 == t2 = Just $ NBin Plus (NBin Pow (NBin Plus (NBin Mul (LC (sqrt a)) t1) (LC (b / (2 * sqrt a)))) (LC 2)) (LC ((-b) / (2 * sqrt a)))

У меня ЛИСП от этой хуйни и скобочек. Пора запилить нормальный движок с записью рулесов в нормальной форме.

#oeneez

2 comments recommend bookmark subscribe