Symbolinen loogisten lauseiden sievennys

[teele]

Osaisiko joku pakettivarastojen ohjelma sieventää symbolisesti ehtolauseita, esimerkiksi

x == 0  or x > 0   ---> x >= 0

tyylisesti. Wxmaximalla ei taida onnistua.

[mpiso]

Piti kokeilla wxMaximalla.

 -->       x=0 or x>0

(%i1)       ratsimp(x=0 or x>0);
(%o1)       x>0

Kyllä se näin on, ei osaa sieventää ehtolausetta. Tuloksen näyttämisessä ei ole ongelmaa, kun antaa x≥0 (x>=0). Muuten sievennys tuntuu toimivan aivan oikein.

[mpiso]

Piti kokeilla vielä muutakin. Qalculate sievensi oikein!