Implementierung

Die Regeln, nach denen Rechungen und Vereinfachungen vorgenommen werden, können in unterschiedliche Kategorien eingeteilt werden:

  1. Automatische Regeln
    Diese werden nach der Initialisierung automatisch angewendet und führen in der Regel zu einer Vereinfachung des Ausdrucks.
  2. "Ersetzungsregeln"
    Es gibt vordefinierte und frei definierbare (anwendungsspezifische) Ersetzungsregeln. Ein Satz solcher Regeln wird im Allgemeinen unter einem Namen zusamengefasst. Der Grund dafür, dass sie nicht automatisch ausgeführt werden ist, dass der Nutzen in der Regel situationsbedingt ist. So kann es gewünscht sein, dass Summen zusammengefasst werden oder auch aufgeteilt werden, weil das eine oder andere zu einer Vereinfachung führt.

    contracted = p c ^ p 1 , p 2 , p 3 1 + p d ^ p 1 , p 2 , p 3 2 // QAReplace ["SumContract"] p ( c ^ p 1 , p 2 , p 3 1 + d ^ p 1 , p 2 , p 3 2 ) contracted // QAReplace ["SumExpand"] p c ^ p 1 , p 2 , p 3 1 + p d ^ p 1 , p 2 , p 3 2

  3. Annahmen
    Die Mathematica Funktion Simplify kann Vereinfachungen unter Zugrundelegung von bestimmten Annahmen durchführen. Um das handhabbarer zu machen, können Sätze von Annahmen unter einem Namen zusammengefasst werden. Unter diesem Namen können sie dann auch referenziert werden.
    Beispiel: exp // QASimplify["Dirac"]
    Der Ausdruck exp wird hier vereinfacht unter Zugrundelegung der Annahmen mit dem Namen "Dirac".
    Annahmen sind i.d.R. anwendungsspezifisch.

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.