Fejl i Maxima - x>=0 giver alligevel løsning med negativ x

[TorstenOrhoj]

Det er jo allerede kendt, at Maxima nogle gange volder problemer. Beklager hvis fejlen nedenfor derfor allerede er kendt.
Heldigvis virker det med GeoGebra som CAS-motor.

Windows eller Mac
Windows

WordMat version
1.26

Beskriv fejlen
Ved løsning af en ligning, har jeg angivet, at x ikke må være negativ. Alligevel angiver WordMat en negativ løsning, når jeg bruger Maxima, som CAS-motor.
Prøver jeg den samme ligning med GeoGebra som CAS-motor, er der ingen problemer.

Trin til genskabelse af fejlen
Angiv præcise trin der kan genskabe fejlen

1. Indtast ligningen x^2 = y
2. Tryk ALT + L
3. Angiv "x>=0" under definitioner.

Forventet opførsel
WordMat skal angive en løsning i overensstemmelse med definitionen.

Dokument
WordMat_fejl_ikke-negativ_x.docx

Screenshots

[Eduap-com]

Maxima's indbyggede system til bestemmelse af om løsninger er gyldige er ikke perfekt. Det skyldes til dels, at der fra grunden er bygget til imaginære tal.

Dette problem kunne måske nok omgås, men der vil nok være en del tilfælde. Det skydes til hjørne i første omgang.

GeoGebra volder nu også problemer ind imellem. Generelt er Maxima et stærkere CAS-værktøj, men de har selvfølgelig styrket og svagheder.

[soegaard]

Se evt.

https://stackoverflow.com/questions/46909039/solving-a-system-with-a-given-constraint-on-the-variable-in-maxima

Kommandoen solve bruger ikke begrænsningerne, så man skal manuelt filtrere løsningerne efter brug af solve.

[Eduap-com]

WordMat anvender sin egen reelle ligningsløser, og har sin egen implementation, hvor den filtrerer løsninger. Metoden er dog ikke perfekt.