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