Timeline for FullSimplify, TransformationFunctions, Assumptions
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2017 at 13:55 | comment | added | jkuczm |
Your tf2 is not using any function using assumptions. Try tf2[e_] := e /. a_ /; Refine[a < 0] -> \[Pi] and mySimplify = Assuming[a < 0, FullSimplify[#, TransformationFunctions -> {tf2}, ComplexityFunction -> myCount]] &;.
|
|
| Jan 11, 2017 at 8:50 | history | tweeted | twitter.com/StackMma/status/819104226722848769 | ||
| Jan 8, 2017 at 10:58 | comment | added | Feyre |
I think it's a matter of mistaking how much assumptions is willing to do. After all Assuming[a < 0, TrueQ[a < 0]] doesn't work, and /; tests the truth of a condition.
|
|
| Jan 8, 2017 at 10:45 | comment | added | wolfgang6444 | O.k., but a is just an example, I want to match more complex terms later. | |
| Jan 8, 2017 at 10:36 | comment | added | Feyre |
A bit hacky, but you could do tf2[e_] := e /. {a__ /; ToCharacterCode[ToString@a] == {97} -> Pi, a__ /; a < 0 -> Pi} I don't know why your example doesn't work though.
|
|
| Jan 8, 2017 at 10:18 | history | edited | Feyre | CC BY-SA 3.0 |
deleted 9 characters in body
|
| Jan 8, 2017 at 10:07 | history | edited | corey979 | CC BY-SA 3.0 |
added 43 characters in body
|
| Jan 8, 2017 at 9:53 | history | asked | wolfgang6444 | CC BY-SA 3.0 |