Bei der Ausführung von Mathematicas NullSpace-Befehl in einer symbolischen Matrix macht Mathematica einige Annahmen über die Variablen und ich möchte wissen, was sie sind.
Zum Beispiel
%Vor%aber die unausgesprochene Annahme ist das
%Vor%Wie kann ich feststellen, welche Annahmen der NullSpace-Befehl verwendet?
Die zugrunde liegenden Annahmen werden sozusagen durch interne Verwendungen von PossibleZeroQ erzwungen. Wenn diese Funktion einen Ausdruck nicht als null betrachten kann, wird er als nicht Null betrachtet und kann daher als Pivot bei der Zeilenreduzierung verwendet werden (was normalerweise für den symbolischen NullSpace verwendet wird).
--- bearbeiten ---
Es wurde die Frage aufgeworfen, was beim Null-Testen in der symbolischen linearen Algebra sichtbar sein könnte. Standardmäßig durchlaufen die Aufrufe von PossibleZeroQ interne Routen. PossibleZeroQ wurde später auf diesen erstellt.
Es gibt immer eine Frage in der Mathematica-Kernel-Code-Entwicklung, was durch die Haupt-Evaluator-Schleife gehen sollte und was (z. B. für Geschwindigkeitszwecke) kurzschließen sollte. Nur ersteres ist leicht zu verfolgen.
Man kann den Prozess in der symbolischen linearen Algebra beeinflussen, indem man einen nicht standardmäßigen Null-Test vorgibt. Könnte z.B. sein.
%Vor% und dann ZeroTest->myTest in NullSpace verwenden.
--- Ende bearbeiten ---
Gefunden:
In diesem Fall erscheint die Annahme, wenn Sie Ihre Matrix um eine Spalte erweitern:
%Vor%Vielleicht nützlich in einigen Situationen
Tags und Links math wolfram-mathematica linear-algebra matrix