Content deleted Content added
→A New Algorithm: new section |
|||
Line 162:
But isn’t <math>|x|=\sqrt{x^2}</math> elementary presentable? --[[User:Chricho|Chricho ∀]] ([[User talk:Chricho|talk]]) 23:07, 26 June 2012 (UTC)
:The problem is that there are 2 square roots to each number, and the choice between them cannot be controlled. So <math>\sqrt{x^2}</math> could also mean <math>x</math>, or <math>-x</math>--[[Special:Contributions/77.126.235.228|77.126.235.228]] ([[User talk:77.126.235.228|talk]]) 14:34, 13 May 2013 (UTC)
== A New Algorithm ==
It's possible we need a new algorithm. Since this topic about symbolic integration algorithms is connected to differential Galois theory, maybe we need one that uses Galois groups and it's generated permutations. Galois group would be relatively easy to implement, perhaps using set from C++ would be a good idea. We also need to generate a constructor which tests that E is an extension to F. For more information look at [[Galois group|this]] [[User:Gave232|Gave232]] ([[User talk:Gave232|talk]]) 22:49, 15 July 2013 (UTC)Gave232
| |||