Ubuntu Suomen keskustelualueet
Ubuntun käyttö => Ubuntu tietokoneissa => Aiheen aloitti: teele - 17.09.20 - klo:17.53
-
Osaisiko joku pakettivarastojen ohjelma sieventää symbolisesti ehtolauseita, esimerkiksi
x == 0 or x > 0 ---> x >= 0
tyylisesti. Wxmaximalla ei taida onnistua.
-
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.
-
Piti kokeilla vielä muutakin. Qalculate sievensi oikein!