Timeline for Why do Resolve and ForAll fail with trigonometric expressions?
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 8, 2023 at 12:57 | comment | added | user64494 |
Finally, FullSimplify[%] results in {{a -> -(5/Sqrt[2]) + 2 Cos[3/10] + Sin[31/10], b -> 5/Sqrt[2] + Cos[31/10] + 2 Sin[3/10]}} .
|
|
Dec 8, 2023 at 12:31 | history | answered | user64494 | CC BY-SA 4.0 |