In the attached STACK question, I have the question variables
When I input L*'diff(omega,t) and compare this to variable at, then the ATAlgEquiv test yields true although both expressions differ by a factor of two. In the feedback I show both sides of the comparison, (both used to be 0 before I introduced depends() in the beginning of the question variables).
Obviously there is still something wrong. Any idea? I could of course introduce some arbitrary symbol for dot omega but I felt using diff was more appropriate, yet not successful so far.