Operation Manual
880  Appendix A: Functies en instructies 
cSolve(
vergelijking1
 and 
vergelijking2
 [and 
…
 ], 
 {
varOfSchatting1
, 
varOfSchatting2 
[, 
… 
]}) 
  ⇒
⇒⇒
⇒ 
Booleaanse uitdrukking
Geeft mogelijke complexe oplossingen voor het 
stelsel vergelijkingen, waarbij iedere 
varOfSchatting
 een variabele specificeert waar u 
een oplossing voor wilt. 
U kunt als u wilt een beginschatting specificeren voo
r
een variabele. Iedere 
varOfSchatting
moet de volgende 
vorm hebben: 
variabele
– of – 
variabele
 = 
reëel
of
niet
-
reëel
getal
Bijvoorbeeld, zowel 
x als x=3+
i
 is geldig. 
Indien alle vergelijkingen veeltermen zijn en u 
GEEN beginschattingen specificeert, gebruikt 
cSolve() de lexicale Gröbner/Buchberger 
eliminatiemethode in een poging alle complexe 
oplossingen te bepalen. 
Opmerking:
Opmerking:Opmerking:
Opmerking: in de volgende voorbeelden 
wordt een onderstrepingsteken _ 
( @  ¥ ; H  2 5) gebruikt, 
zodat de variabelen als complex 
behandeld worden. 
Complexe oplossingen kunnen zowel reële als 
niet-reële oplossingen omvatten, zoals in het 
voorbeeld rechts. 
cSolve(u_ù v_ì u_=v_ and 
v_^2=ë u_,{u_,v_}) ¸  
 u_=1/2 + 
3
2
ø
i
 and v_=1/2 ì
3
2
ø
i
 or u_=1/2 ì
3
2
ø
i
 and v_=1/2 + 
3
2
ø
i
  or u_=0 and v_=0 
Stelsels 
veelterm
vergelijkingen kunnen extra 
variabelen zonder waarde hebben, die gegeven 
numerieke waarden representeren, die later 
gesubstitueerd kunnen worden. 
cSolve(u_ù v_ì u_=c_ù v_ and 
v_^2=ë u_,{u_,v_}) ¸  
 u_= 
ë(
1ì4øc_+1)
2
4
 and v_= 
1ì4øc_+1
2
or
 u_= 
ë( 1ì4øc_ì1)
2
4
 and v_= 
ë( 1ì4øc_ì
1
2
  or u_=0 and v_=0 
U kunt ook oplossingsvariabelen opnemen die 
niet voorkomen in de vergelijkingen. Deze 
oplossingen laten zien hoe families van 
oplossingen willekeurige constanten van de vorm 
@
k
 kunnen bevatten, waarbij 
k
een achtervoegsel 
is in de vorm van een geheel getal van 1 tot 255. 
Het achtervoegsel wordt opnieuw ingesteld op 1 
wanneer u 
ClrHome of ƒ 8:Clear Home 
gebruikt. 
De rekentijd of de tijd die het duurt voor het 
geheugen is uitgeput kan bij stelsels veelterm-
vergelijkingen afhangen van de volgorde 
waarin u de oplossingsvariabelen noteert. Indien 
uw eerste keuze het geheugen of uw geduld 
uitput, probeert u de variabelen dan anders te 
sorteren in de vergelijkingen en/of in de lijst 
varOfSchatting
. 
cSolve(u_ù v_ì u_=v_ and 
v_^2=ë u_,{u_,v_,w_}) ¸  
 u_=1/2 + 
3
2
ø
i
 and v_=1/2 ì
3
2
ø
i
 and w_=@1 
or u_=1/2 ì
3
2
ø
i
 and v_=1/2 + 
3
2
ø
i
 and w_=@1 
  or u_=0 and v_=0 and w_=@1 
Indien u geen schattingen opneemt en als elke 
vergelijking niet een veeltermvergelijking is in 
elke variabele maar als alle vergelijkingen lineair 
zijn in alle oplossingsvariabelen, gebruikt
cSolve() 
Gaussische eliminatie in een poging alle 
oplossingen te bepalen. 
cSolve(u_+v_=
e
^(w_) and u_ì v_= 
i
, 
{u_,v_}) ¸  
 u_= 
e
w_
2
 +1/2ø
i
 and v_= 
e
w_
ì i
2










