Indien alle vergelijkingen veeltermvergelijkingen
zijn en u GEEN beginschattingen specificeert,
gebruikt
eliminatiemethode in een poging alle reële
oplossingen te bepalen.
Stel, u heeft bijvoorbeeld een cirkel met een
straal r en middelpunt in de oorsprong en een
andere cirkel met een straal r met het middelpunt
daar waar de eerste cirkel de positieve x-as snijdt.
Gebruik
Zoals te zien is aan de r in het voorbeeld rechts,
kunnen stelsels
variabelen zonder waarde hebben, deze
representeren gegeven numerieke waarden die
later gesubstitueerd kunnen worden.
U kunt ook (of als alternatief) oplossings-
variabelen toevoegen die niet voorkomen in de
vergelijkingen. U kunt, bijvoorbeeld z opnemen als
oplossingsvariabele om het vorige voorbeeld uit te
breiden naar twee parallelle, elkaar snijdende
cilinders met straal r.
De cilinderoplossingen laten zien hoe families van
oplossingen willekeurige constanten van de vorm
k
@
kunnen bevatten, waarbij
is in de vorm van een geheel getal van 1 tot 255.
Het achtervoegsel wordt opnieuw ingesteld op 1
wanneer u
gebruikt.
De rekentijd of de tijd die het duurt voor het
geheugen is uitgeput, hangt bij stelsels veelterm-
vergelijkingen sterk af 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
Indien u geen schattingen opneemt en als elke
vergelijking niet een veeltermvergelijking is in
elke variabele, maar als vergelijkingen lineair zijn
in alle oplossingsvariabelen, gebruikt
Gaussische eliminatie in een poging alle
oplossingen te bepalen.
Indien een stelsel geen veeltermvergelijkingen
bevat in geen van de variabelen en evenmin
lineair is in de oplossingsvariabelen, bepaalt
solve()
een iteratieve benaderings- methode. Hiertoe
moet het aantal oplossingsvariabelen gelijk zijn
aan het aantal vergelijkingen, en alle andere
variabelen in de vergelijkingen moeten getallen
opleveren.
Iedere oplossingsvariabele start vanaf zijn
beginschatting indien deze is opgegeven, zo niet,
dan start de variabele op 0,0.
Gebruik schattingen om één voor één extra
oplossingen te zoeken. Voor convergentie zou
een schatting dicht bij een oplossing moeten
liggen.
Appendix A: Functies en instructies
de lexicale Gröbner/Buchberger
solve()
om de snijpunten te vinden.
solve()
veelterm
vergelijkingen extra
k
een achtervoegsel
of ƒ
ClrHome
8:Clear Home
hoogstens één oplossing, met behulp van
solve(x^2+y^2=r^2 and
(x ì r)^2+y^2=r^2,{x,y}) ¸
solve(x^2+y^2=r^2 and
(x ì r)^2+y^2=r^2,{x,y,z}) ¸
varOfSchatting
.
solve(x+
x ì y=sin(z),{x,y}) ¸
solve()
x=
solve(
e
¸
solve(
e
ë y=sin(z),{y,z=2 p }) ¸
r
x=
and y=
2
r
or x=
and y=
2
r
ø r
3
x=
and y=
2
2
r
ø r
ë
3
or x=
and y=
2
2
^(z) ù y=1 and
e
e
ø sin(z)+1
ë (sin(z) ì 1)
z
and y=
e
+ 1
z
^(z) ù y=1 and ë y=sin(z),{y,z})
y=.041... and z=3.183...
^(z) ù y=1 and
y=.001... and z=6.281...
ø r
3
2
ø r
ë
3
2
and z=@1
and z=@1
e
+ 1
z
965