Equivalence reasoning problem with +

Equivalence reasoning problem with +

by Tom Hofkens -
အကြောင်းပြန်မှု အရေအတွက်: 5

Hi everyone

I tried the following answer with equivalence reasoning, but stack says the steps are not equivalent:


When I tried the different terms, it does say they are equivalent:


and


Is there some flag I need to set? I presume it has something to do with the + operator? Any help is appreciated!

Kind regards

Tom

ပျှမ်းမျှအဆင့်သတ်မှတ်ချက်များ: -
Tom Hofkens ထံသို့ အကြောင်းပြန်ရာတွင်

Re: Equivalence reasoning problem with +

by Christopher Sangwin -
Particularly helpful Moodlers ၏ ရုပ်ပုံ Plugin developers ၏ ရုပ်ပုံ
Tom, could you please email me the Maxima code (at Edinburgh) or raise an issue on github and I'll look into this? In general, https://github.com/maths/moodle-qtype_stack is a good place to raise things like this which appear to be a bug, and to add in the Maxima code to help us reproduce it.
Chris
ပျှမ်းမျှအဆင့်သတ်မှတ်ချက်များ: -
Christopher Sangwin ထံသို့ အကြောင်းပြန်ရာတွင်

Re: Equivalence reasoning problem with +

by Tom Hofkens -

Thanks a lot! I submitted it as an issue on Github.

Tom

ပျှမ်းမျှအဆင့်သတ်မှတ်ချက်များ: -
Tom Hofkens ထံသို့ အကြောင်းပြန်ရာတွင်

Re: Equivalence reasoning problem with +

by Tom Hofkens -
Hi Chris

Thanks for the quick fix on Github. We wanted to update the moodle stack plugin, but it said the latest version was released on Jan 4th. Or should we update Maxima?

Kind regards

Tom
ပျှမ်းမျှအဆင့်သတ်မှတ်ချက်များ: -
Tom Hofkens ထံသို့ အကြောင်းပြန်ရာတွင်

Re: Equivalence reasoning problem with +

by Christopher Sangwin -
Particularly helpful Moodlers ၏ ရုပ်ပုံ Plugin developers ၏ ရုပ်ပုံ
Tom,
We stage official releases. This fix is in the "dev" branch and will be in the next official release.
Chris
ပျှမ်းမျှအဆင့်သတ်မှတ်ချက်များ: -