Timeline for Pushing Mathematica's FullSimplify to a global complexity minimum
Current License: CC BY-SA 4.0
33 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 29, 2022 at 6:00 | history | tweeted | twitter.com/StackMma/status/1542025138111225857 | ||
| Feb 8, 2021 at 14:50 | vote | accept | Filipe Miguel | ||
| Feb 7, 2021 at 15:20 | answer | added | Michael E2 | timeline score: 2 | |
| Feb 6, 2021 at 9:10 | history | edited | Filipe Miguel | CC BY-SA 4.0 | deleted 238 characters in body |
| Feb 6, 2021 at 8:19 | history | reopened | Michael E2 Rohit Namjoshi Artes bbgodfrey Karsten7 | ||
| Feb 5, 2021 at 20:48 | history | edited | Filipe Miguel | CC BY-SA 4.0 | added 27 characters in body |
| Feb 5, 2021 at 19:26 | review | Reopen votes | |||
| Feb 6, 2021 at 8:19 | |||||
| Feb 5, 2021 at 19:03 | history | edited | Filipe Miguel | CC BY-SA 4.0 | added 225 characters in body |
| Feb 5, 2021 at 18:27 | comment | added | Michael E2 | Let us continue this discussion in chat. | |
| Feb 5, 2021 at 18:24 | comment | added | Michael E2 | Then linearCombine[myD[a] + 2 Sqrt[2] myD[b] + 3 E myD[c], myD] | |
| Feb 5, 2021 at 18:23 | comment | added | Michael E2 | Maybe this would be a replacement for myDSumTransformInverse: ClearAll[linearCombine]; Module[{f}, SetAttributes[f, NumericFunction]; constantQ = NumericQ[# /. s_Symbol /; MemberQ[Attributes[s], Constant] :> f[0]] & ]; linearCombine[ e_Plus, head_, constants_List : {} ] := Block[{head}, Block[constants, SetAttributes[#, Constant] & /@ constants; head@Replace[e, {c_?constantQ*head[a_] :> c*a, head[a_] :> a}, 1 ] /; MatchQ[e, _[((_?constantQ)*_myD | _myD) ..]] ]]; | |
| Feb 5, 2021 at 16:18 | history | closed | MarcoB Dunlop AsukaMinato Rohit Namjoshi m_goldberg | Duplicate of Advice for Mathematica as Mathematician's Aid | |
| Feb 5, 2021 at 15:54 | comment | added | Filipe Miguel | @MichaelE2 that seems to point towards the way to go. Does not work if there are scalar coefficients, but I will try to work that out, thanks! | |
| Feb 5, 2021 at 15:39 | comment | added | Michael E2 | I think myDSumTransformInverse = Thread[#, myD] & is what you want. I'm not sure FullSimplify tries to transform each subset of terms of a sum. I think unfortunately, you will have to add a transformation function like myDSumTransformInverse@*myDSumTransform to the mix to get it over the hump into a new minimum. | |
| Feb 5, 2021 at 15:33 | comment | added | Filipe Miguel | @MichaelE2, it outputs myDSumTransformInverse[myD[a] + myD[b] + myD[c]]. That is because I only know how to input 2 terms to myDSumTransformInverse. But Mathematica's FullSimplify should try to evaluate each Leaf of myD[a] + myD[b] + myD[c] against all the TransformFunctions, and hence he would eventually evaluate two at a time. Any clue how to write myDSumTransformInverse such that it may take more 3 or more terms as input? Thanks! | |
| Feb 5, 2021 at 15:22 | comment | added | Michael E2 | Try myDSumTransformInverse[myDSumTransform[myD[a + b + c + 5]]] -- I don't think it's doing what you want. | |
| Feb 5, 2021 at 14:35 | history | edited | Filipe Miguel | CC BY-SA 4.0 | added 1 character in body |
| Feb 5, 2021 at 13:07 | history | edited | Filipe Miguel | CC BY-SA 4.0 | edited body |
| Feb 5, 2021 at 11:54 | history | edited | Filipe Miguel | CC BY-SA 4.0 | deleted 3 characters in body |
| Feb 5, 2021 at 11:50 | comment | added | Filipe Miguel | @MichaelE2 I added a more concrete example | |
| Feb 5, 2021 at 11:49 | comment | added | Filipe Miguel | @cvgmt I added a more concrete example | |
| Feb 5, 2021 at 11:47 | history | edited | Filipe Miguel | CC BY-SA 4.0 | added a concrete example |
| Feb 5, 2021 at 11:01 | comment | added | Filipe Miguel | Hi all! I am using TransformationFunctions indeed and that is why I know I am getting stuck in a local minimum. I have quite a convoluted example, will try to get a working minimal example. | |
| Feb 5, 2021 at 5:10 | review | Close votes | |||
| Feb 5, 2021 at 16:19 | |||||
| Feb 5, 2021 at 4:53 | comment | added | MarcoB | On the topic of aiding and guiding the expression simplification process, also see Advice for Mathematica as Mathematician's Aid | |
| Feb 5, 2021 at 0:26 | comment | added | Artes | A reasonable example how ComplexityFunction works can be found here FullSimplify does not work on this expression with no unknowns. | |
| Feb 5, 2021 at 0:02 | history | edited | J. M.'s missing motivation | CC BY-SA 4.0 | edited title |
| Feb 4, 2021 at 23:57 | history | edited | Michael E2 | CC BY-SA 4.0 | Improved formatting |
| Feb 4, 2021 at 23:56 | comment | added | Michael E2 | Have you examined the options, TransformationFunctions and ComplexityFunction? | |
| Feb 4, 2021 at 23:55 | comment | added | Michael E2 | Welcome to Mathematica.SE! I suggest the following: 1) As you receive help, try to give it too, by answering questions in your area of expertise. 2) Take the tour! 3) When you see good questions and answers, vote them up by clicking the gray triangles, because the credibility of the system is based on the reputation gained by users sharing their knowledge. Also, please remember to accept the answer, if any, that solves your problem, by clicking the checkmark sign! | |
| Feb 4, 2021 at 23:52 | comment | added | cvgmt | What is your example? | |
| Feb 4, 2021 at 23:52 | review | First posts | |||
| Feb 4, 2021 at 23:57 | |||||
| Feb 4, 2021 at 23:47 | history | asked | Filipe Miguel | CC BY-SA 4.0 |