mathnet / mathnet-symbolics

Math.NET Symbolics
http://symbolics.mathdotnet.com
MIT License
341 stars 66 forks source link

Problem with eager numeric calculation #85

Open MovGP0 opened 3 years ago

MovGP0 commented 3 years ago

Current behavior

The eager numeric execution can result in calculations which are way too large to calculate numerically:

9Q ** 99Q ==> "29512665430652752148753480226197736314359272517043832886063884637676943433478020332709411004889"
(9Q ** 9Q) ** 9Q ==> "196627050475552913618075908526912116283103450944214766927315415537966391196809"
9Q ** (9Q ** 9Q) ==> "..." // Calculates till the heat death of the universe

Expected behavior

Do not simplify eagerly:

9Q ** 99Q ==> "9^99"
(9Q ** 9Q) ** 9Q ==> "9^9^9"
9Q ** (9Q ** 9Q) ==> "9^(9^9)"
FoggyFinder commented 3 years ago

Known issue. See https://github.com/mathnet/mathnet-symbolics/issues/64#issuecomment-444635442