Mathe:: Ist eine Perl-Baugruppe für symbolische Berechnungen symbolisch.

SYNOPSE

Gebrauch Mathe:: Symbolisch;

mein $tree = Mathe:: Symbolic->parse_from_string (1/2 * m * v^2);
# symbolische Berechnungen mit $tree jetzt tun.
#… wie das Berechnen es…

mein ($sub) = Mathe:: Symbolisch:: Compiler->compile_to_sub ($tree);

mein $kinetic_energy = $sub-> ($mass, $velocity);

Mathe:: Symbolisch soll symbolische Berechnungsfähigkeiten dem Perl-Programmierer ohne externe (und Werbung) anbieten Bibliotheken und/oder Anwendungen zu verwenden.

Es sei denn jedoch etwas interessierte und kenntnisreiche Entwickler sich bis drehen, an der Entwicklung, nehmen die Bibliothek wird begrenzt schwer durch meine Erfahrung im Bereich teil. symbolische Berechnungen sind ein aktives Forschungsgebiet im CS.

Es gibt einige Methoden, Mathe zu konstruieren:: symbolische Bäume. Es gibt kein tatsächliches Mathe:: symbolische Nachrichten, aber eher Bäume der Nachrichten der Unterklassen von Mathe:: Symbolisch. Das allgemeinste aber leider auch die wenige intuitive Methode des Konstruierens der Bäume ist, die Erbauer Mathe zu verwenden:: Symbolisch:: Bediener, Mathe:: Symbolisch:: Variable und Mathe:: Symbolisch:: Konstante Kategorien, zum (der verschachtelten) Nachrichten der entsprechenden Typen zu erstellen.

Außerdem können Sie die überbelastete Schnittstelle verwenden, um die Standardperl-Bediener (und die Funktionen, „ÜBERBELASTETE BEDIENER“ sehen), an vorhandenem Mathe anzuwenden:: symbolische Bäume und Standardperl-Ausdrücke.

Vielleicht die bequemste Methode des Konstruierens von Mathe:: symbolische Bäume verwendet die builtin Syntaxanalyse, um Bäume von den Ausdrücken wie 2 festzulegen * x^5. Sie können Mathe verwenden:: Symbolic->parse_from_string () Kategorienmethode für dieses.
Selbstverständlich können Sie die überbelastete Schnittstelle mit der Syntaxanalyse kombinieren, um Bäume mit Perl-Code wie „$term festzulegen * 5 * Sünde (omega*t+phi)“, die einen Baum der vorhandenen Zeiten des Baums $term 5mal herstellt, die, der Sinus der vars Omega Zeit t plus Phi festsetzt.

Es gibt einige Baugruppee in der Verteilung, die die Subroutinen enthalten, die auf Kalkül in Verbindung gestanden werden. Diese werden nicht von Math: geladen: Symbolisch durch Zahlungseinstellung. Außerdem gibt es einige Extensionen zu Mathe:: Symbolisches availlable von CPAN als unterschiedlichen Verteilungen. Bitte ansprechen „SEHEN AUCH“ für eine unvollständige Liste von diesen.

Z.B. Mathe:: Symbolisch:: MiscCalculus kommen mit Mathe:: Symbolisch und enthält Programme, um Taylor-Polynome und die verbundenen Fehler zu berechnen.
Die Programme, die auf vektorkalkül wie Absolventen, Div., Fäule und Jacobi- und Hesse Grundmassen in Verbindung gestanden werden, sind- durch Mathe: availlable: Symbolisch:: VectorCalculus Baugruppe. Diese Baugruppe ist auch in der Lage, Taylor-Polynome von Funktionen von zwei Variablen, von Richtungsderivaten, von Gesamtdifferentialen und von Wronskian bestimmenden Faktoren zu berechnen.

Etwas grundlegender Träger für lineare Algebra kann in Mathe gefunden werden:: Symbolisch:: MiscAlgebra. Dieses schließt ein Programm ein, um den bestimmenden Faktor einer Grundmasse von Mathe zu berechnen:: symbolische Bäume.

Mathe:: Symbolisch:: MiscAlgebra enthält verschiedene Algebraprogramme wie det ().

SYNOPSE

Gebrauch Mathe:: Symbolisches qw/: alle;
Gebrauch Mathe:: Symbolisch:: MiscAlgebra qw/: alle; # geladen nicht durch Math:: Symbolisch

@matrix = ([x*y, z*x, y*z], [x, z, z], [x, x, o]);
$det = det @matrix;

@vector = (x, o, z);
$solution = solve_linear (@matrix, @vector);

Diese Baugruppe liefert einige Subroutinen, die auf Algebra wie Berechnen des bestimmenden Faktors der quadratischen Grundmassen in Verbindung gestanden werden und löst Systeme der linearen Gleichung und Berechnung der Bell-Polynome.

Bitte notiert, dass die Code hierin Mai oder Mai nicht in die OO-Schnittstelle Mathe refactored:: symbolische Baugruppe zukünftig.

Sie können beschließen, irgendwelche der folgenden Programme zu haben, die in das rufende namespace exportiert werden. : alle Marke exportiert alles Folgen:

det
linear_solve
bell_polynomial

Mathe:: Symbolisch:: Compiler ist eine Perl-Baugruppe, die Mathe kompilieren kann:: symbolische Bäume zum Perl-Code.

SYNOPSE

Gebrauch Mathe:: Symbolisch:: Compiler;

# zu kompilieren a-Baum
mein $tree = Mathe:: Symbolic->parse_from_string (a^2 + b * c * 2);

# Mathe:: Symbolisch:: Die Variable wird zu $_ [1], zu usw. ausgewertet.
mein $vars = [qw (b-Wechselstrom)];

mein ($closure, $code, $trees) =
Mathe:: Symbolisch:: Compiler->compile ($tree, $vars);

Druck $closure-> (2, 3, 5); # (b, a, c)
# druckt 29 (= 3^2 + 2 * 5 * 2)

# oder:
($closure, $trees) =
Mathe:: Symbolisch:: Compiler->compile_to_sub ($tree, $vars);

($code, $trees) = Mathe:: Symbolisch:: Compiler->compile_to_code ($tree, $vars);

Diese Baugruppe darf Mathe kompilieren:: symbolische Bäume zum Perl-Code und/oder zu den anonymen Subroutinen, dessen Argumente positional zu den Variablen kompilierten Mathe: abgebildet werden: Symbolischer Baum.

Das Grund youd möchten dies tun ist das, das Mathe: auswertet: Symbolischer Baum zu seinem numerischen Wert ist extrem langsam. So kompiliert, aber, sobald Sie alle notwendigen symbolischen Berechnungen getan haben, können Sie die Drehzahlverstärkung des Anführens eines Schliessens nutzen, anstatt, einen Baum auszuwerten.

Mathe:: Symbolisch:: Unterseite ist eine Fallkategorie für Symbole in den symbolischen Berechnungen.

SYNOPSE

Gebrauch Mathe:: Symbolisch:: Unterseite;

Dieses ist eine falsche Kategorie für alles Mathe:: Symbolisch:: * Ausdrücke wie Mathe:: Symbolisch:: Bediener, Mathe:: Symbolisch:: Variable und Mathe:: Symbolisch:: Konstante Nachrichten.

METHODEN

To_string Methode

Zahlungseinstellungmethode für stringification bringt gerade den Nachrichtenwert zurück.

Methodenwert

Wert () wertet Mathe: aus: Symbolischer Baum zu seiner numerischen Darstellung.

Wert () ohne Argumente erfordert, dass jede Variable im Baum ein definiertes Wertattribut enthält. Bitte notiert, dass dieses jede variable Nachricht anspricht, nicht gerade jede benannte Variable.

Wert () mit einem Argument stellt den Nachrichtenwert ein (im Falle eines variablen oder ein konstant).

Wert () mit benannten Argumenten (Schlüssel-/Wertpaare) gehört Variablen im Baum mit den Wertargumenten wenn die corresponging Schlüsselübereinstimmungen der variable Name dazu. (Kann man dieses mehr schwierige sagen?) Seit Version 0.132, ist eine alternative Syntax, einen einzelnen Durcheinanderhinweis zu führen.

Beispiel: $tree->value (x => 1, o => 2, z => 3, t => 0) weist den Wert 1 allen möglichen Vorkommen der Variablen des Namens „x“, aso zu.

Wenn eine Variable im Baum keinen eingestellten Wert (und kein Argument des Wertes stellt es vorübergehend) ein, hat, bringt der zu bewerten Aufruf () undef zurück.

Methodenunterzeichnung

Unterschrift () bringt eine Baumunterzeichnung zurück.

Im Rahmen Mathe:: Symbolisch, sind Unterzeichnungen die Liste von Variablen, die jeder möglicher gegebene Baum ein abhängt. Das bedeutet, daß der Baum „v*t+x“ von den Variablen V, t und X. abhängt. So erbringt das Anwenden der Unterzeichnung () auf dem Baum, der vom oben genannten Beispiel analysiert würde, die sortierte Liste (t, v, x).

Konstanten hängen nicht von irgendwelchen Variablen ab und bringen folglich die leere Liste zurück. Offensichtlich variieren Bedienerabhängigkeiten.

Mathe:: Symbolisch:: Variable Nachrichten können eine etwas beteiligtere Unterzeichnung jedoch haben. Durch Versammlung Mathe:: symbolische Variablen hängen von selbst ab. Das bedeutet, daß ihre Unterschrift ihren eigenen Namen enthält. Aber sie können von den vielen Variablen auch abhängen, weil Variablen selbst als Placeholders für mehr compicated Ausdrücke angesehen werden können. Z.B. in den Mechanikern, hängt die Beschleunigung eines Partikels von seiner Masse und von der Summe aller Kräfte handelnd nach ihr ab. So würde die variable Beschleunigung die Unterzeichnung haben (Beschleunigung, force1, force2,…, Masse, Zeit).

Wenn das youre, das gerade nach einer Liste der Namen aller Variablen im Baum sucht, Sie die explicit_signature () Methode anstatt anwendet.

Methode explicit_signature

explicit_signature () bringt eine lexikographisch sortierte Liste der variablen Namen im Baum zurück.

Auch sehen: Unterschrift ().

Methode set_signature

set_signature erwartet jede mögliche Zahl der variablen Kennungen als Argumente. Es stellt eine Variablenunterzeichnung auf diese Liste der Kennungen ein.

Methodenwerkzeug

Werkzeug () bearbeitet am Ort!

Nehmenschlüssel-/-wertpaare als Argumente. Die Schlüssel sind, variable Namen zu sein und die Werte müssen gültiges Mathe sein:: symbolische Bäume. Alle Vorkommen der Variablen werden durch ihre Umsetzung ersetzt.

Methode ersetzen

Erstes Argument muß gültiges Mathe sein:: Symbolischer Baum.

ersetzen () ändert die Nachricht, die sie dadurch ersuchtes am Ort ist, dass sie es durch sein erstes Argument ersetzt. Das tuend, behält sie den ursprünglichen Nachrichtenhinweis bei. Dieses zerstört die Nachricht, die um es ersucht wird.

Jedoch bedeutet dieses auch, dass Sie rekursive Bäume der Nachrichten herstellen können, wenn der neue Baum, den alten Baum zu enthalten ist. Vor der Anwendung sie im Abwechslungsbaum, so sicherstellen, daß Sie den alten Baum using die neue () Methode klonen oder Sie oben mit einem Programm beenden, das Ihren Speicher schnell ißt.

fill_in_vars

Diese Methode bringt ein geändertes Exemplar des Baums zurück, den um es ersucht wurde.

Sie geht der Baum und ersetzt alle Variablen, deren Wertattribut definiert wird (entweder getan zu der Zeit der Nachrichtenkreation oder des mit set_value ()) mit den entsprechenden konstanten Nachrichten. Variablen, deren Wert nicht definiert wird, sind unberührt. Nehmen z.B. der folgende Code:

$tree = parse_from_string (a*b+a*c);
$tree->set_value (ein => 4, c => 10); # Wert von b noch nicht definiert.
Druck $tree->fill_in_vars ();
# druckt „(4 * B) + (4 * 10)“

Methode vereinfachen

Minimale Methode für Ausdruck simpilification gerade Klone.

Methode descending_operands

, zum in wenn er ersucht wird, versucht ein Bediener, descending_operands stark, festzustellen, welche Operande zu sinken. (Das normalerweise alle Operande. bedeutet) Eine Liste von diesen wird zurückgebracht.

Wenn es ein konstantes oder eine Variable ersucht wird, bringt sie die leere Liste zurück.

Selbstverständlich können einige Programme in verschiedene Zweigniederlassungen Mathe sinken müssen:: Symbolischer Baum, aber dieses Programm bringt die Zahlungseinstellungoperande zurück.

Das erste Argument zu dieser Methode kann sein Verhalten steuern. Wenn es irgendwelche der folgenden Schlüsselwörter ist, wird Verhalten dementsprechend geändert:

Zahlungseinstellung -- offensichtlich. Zahlungseinstellungheuristik verwenden.

Diese sind alle Supersets der Zahlungseinstellung:
alle -- bringt ALLE Operande zurück. Gebrauch mit Vorsicht.
all_vars -- bringt alle Operande zurück, die vars enthalten können.

SyFi ist Bibliothek die Wechselstrom-++, die oben auf die symbolische mathematische Bibliothek GiNaC aufgebaut. Das NamensSyFi steht für symbolische begrenzte Elemente.

Das Paket zur Verfügung stellt polygonale Gebiete, polynomische Platz und Freiheitsgrade als symbolische Ausdrücke, die leicht manipuliert. Dieses bildet es einfach, begrenzte Elemente zu definieren.

GNU, der libmatheval ist, ist eine Bibliothek (abrufbar von C und von Fortran) zum der symbolischen Ausdrücke zu analysieren und auszuwerten, die als Text eingegeben werden.

libmatheval Stützausdrücke in irgendeiner Zahl von Variablen von Decknamen, dezimale und symbolische Konstanten, grundlegende Einstoff- und binäre Bediener und grundlegende mathematische Funktionen.

Zusätzlich zur Satzgliederung und zu Auswertung libmatheval kann symbolische Derivate und Ausgangausdrücke zu den Zeichenketten auch berechnen.

Was in diesem Auslösen neu ist:

· Diese Version relicensed unter GNU-allgemeiner Lizenzversion 3.

HartMath ist ein experimentelles Rechneralgebraprogramm, das in Java geschrieben.

Es kennzeichnet grosse arithmetische, symbolische und numerische Auswertung der Zahl, Plan, Polynom, Vektor und die Grundmassefunktionen.

nautilus-folgen-symlink ist eine Nautilusextension, die eine Menüeingabe auf symbolischen Links Verzeichnissen addiert, die das spitze Verzeichnis öffnen (die reale Bahn).

nautilus-folgen-symlink tut so beide, wenn recht, auf die Faltblattikone oder auf dem Inhalt eines geöffneten symbolischen Links klickend.

Was in diesem Auslösen neu ist:

· Die Ikone war örtlich festgelegt. In den neueren Versionen von GNOME, geladen die Ikone nicht und eine grosse Zahlungseinstellung, leere Ikone gezeigt in seinem Platz.

nescom liest symbolischen Code der Maschine 6502/RP2A03/RP2A07 und kompiliert (montiert), ihn in eine verschiebbare Objektdatei oder in eine IPS-Änderung am Objektprogramm.

Die produzierte Objektdatei ist mit denen bildete mit XA65 binär-kompatibel.

B:: Fussel:: StrictOO ist eine Perl-Baugruppe, das strenges an den Kategorien und an den Methoden anwenden.

SYNOPSE

Validiert dass Kategorien existieren, dieses Methoden, die ersuchte Kategorien und Nachrichten sind und Variablen arent verwendet als Methodennamen.

$-Perl - MB:: Fussel:: StrictOO - MO=Lint, oo my_file.pl

Vorhickory:: Dickory:: Dock;

Mouse->dockk; # existiert Kategorien-Maus nicht
Hickory:: Dickory->dock;
Hickory:: Dickory->$_; # symbolischer Methodenaufruf
$obj->dockk; # tut Nachrichtengewinsel Methode
$obj->dock;
$obj->$_; # symbolischer Methodenaufruf

UPPAAL TIGA ist eine Extension von UPPAAL [BDL04] und es implementiert den ersten effizienten Schnellalgorithmus für das Lösen der Spiele, die auf zeitgesteuerten Spielautomaten in Bezug auf reachability und Sicherheitseigenschaften basieren.

Obwohl zeitgesteuerte Spiele für lang bekannt, um entscheidbar zu sein dort bis jetzt gewesen ein Mangel an effizienten und wirklich Schnellalgorithmen für ihre Analyse.

UPPAAL TIGA versieht eine benutzerfreundliche graphische Schnittstelle mit seinem entsprechenden Server und eine Befehlszeile Kontonummernprüfgerät.

Der Algorithmus, den wir vorschlagen daß [CDFLL05] ist eine symbolische Ausdehnung des Schnellalgorithmus, der durch Liu u. Smolka [LS98] vorgeschlagen für die Linearzeit Baumuster-Prüfung der finite-state Systeme. Seiend Schnell, kann der symbolische Algorithmus den gesamten Zustandplatz lange vorher erforscht haben abbrechen.

Auch die einzelnen Stufen des Algorithmus durchgeführt effizient unter Anwendung von sogenannten Zonen wie die zugrundeliegende Datenstruktur ende. Unser Werkzeug implementiert verschiedene Optimierungen des grundlegenden symbolischen Algorithmus, sowie Methoden für das Erhalten der Zeit-optimalen gewinnenden Strategien (für reachability Spiele).

Was in diesem Auslösen neu ist:

· Diese Version repariert zwei Hauptmarken: Unrechtantworten (und Strategien) gegeben für einige Fälle, die Verzögerungen mit.einbeziehen, und den Simulator handhabten nicht die dringenden und festgelegten Zustände richtig.

AFS:: Cm ist eine Perl-Baugruppe, zum des AFS Cachemanagers auszuüben.

SYNOPSE

Gebrauch AFS:: Cm qw (
checkconn checkservers checkvolumes
cm_access spülen flushcb flushvolume
getcacheparms getcellstatus
getcrypt getvolstats setcrypt
setcellstatus setcachesize
);

mein $ok = flushvolume (.);
Druck „Rückgabecode = $okn“;

$ok = checkvolumes;
Druck „Rückgabecode = $okn“;

$ok = cm_access ($path);
Druck „Rückgabecode = $okn“;

($max, $inuse) = getcacheparms;
$ok = setcachesize (10000);

mein $crypt_flg = getcrypt;
$ok = setcrypt (ein);

MITTEILUNG: Die folgenden Leitungen sind Art der Version 1: alle Namen werden durch Zahlungseinstellung exportiert. Diese Art wird!! mißbilligt!

AFS verwenden; # Import alle AFS Namen
AFS @AFS verwenden:: Cm; # Import gerade die Cachemanagernamen

Diese Baugruppe liefert einige Funktionen, um den AFS Cachemanager auszuüben. Sie wird verwendet, um die Cachegröße anzupassen. Sie können die Aktualisierung der cachierten Daten erzwingen. Und Sie können feststellen, wenn eine Klientenmaschine SETUID Programme laufen lassen kann. Jede mögliche Funktion, die muß erfordert wird, durch ausdrücklich aufgezeigt durch die in das rufende Paket exportiert zu werden Gebrauchanweisung.

Einige dieser Funktionen lassen das wahlweiseargument FOLGEN. FOLGEN feststellt, welche Datei verwendet werden sollte, wenn BAHN ein symbolisches Link ist. Wenn FOLGEN, bis 1 eingestellt sein, dann wird das symbolische Link zu seinem Ziel gefolgt. Wenn FOLGEN wird eingestellt bis 0, dann die Funktion auf das symbolische Link selbst zutrifft. Wenn Sie nicht spezifiziert werden, Zahlungseinstellungen bis 1. FOLGEN.

SYNOPSE

Gebrauch AFS:: Zelle qw (configdir expandcell
getcellinfo localcell
whichcell wscell
);

mein $conf_dir = configdir;

mein $cell = expandcell (mpa);
$cell = localcell;
$cell = whichcell (. /);
$cell = wscell;

($cell, meine @hosts) = getcellinfo;
Druck „Zelle: $celln“;
foreach mein $host (@hosts) {
Druck („$hostn“);
}
MITTEILUNG: Die folgenden Leitungen sind Art der Version 1: alle Namen werden durch Zahlungseinstellung exportiert. Diese Art wird!! mißbilligt!
AFS verwenden; # Import alle AFS Namen
AFS @AFS verwenden:: ZELLE; # Import gerade die Zelle Confignamen
BESCHREIBUNG ^
Diese Baugruppe liefert einige Funktionen, um eine AFS Zelle zu konfigurieren und beizubehalten. Sie wird verwendet, um das Konfigurationsverzeichnis beizubehalten. Jede mögliche Funktion, die muß erfordert wird, durch ausdrücklich aufgezeigt durch die in das rufende Paket exportiert zu werden Gebrauchanweisung.
Einige dieser Funktionen lassen das wahlweiseargument FOLGEN. FOLGEN feststellt, welche Datei verwendet werden sollte, wenn BAHN ein symbolisches Link ist. Wenn FOLGEN, bis 1 eingestellt sein, dann wird das symbolische Link zu seinem Ziel gefolgt. Wenn FOLGEN wird eingestellt bis 0, dann die Funktion auf das symbolische Link selbst zutrifft. Wenn Sie nicht spezifiziert werden, Zahlungseinstellungen bis 1. FOLGEN.

AFS:: ACL ist eine Perl-Kategorie, zum der AFS Zugriffskontrollisten zu bearbeiten.

SYNOPSE

Gebrauch AFS:: ACL;

mein $acl = AFS:: ACL->new ({foobar => keine}, {anyuser => schreiben},);
$acl->set (rjs => schreiben);
$acl->nset (opusl => schreiben);
$acl->remove (rjsnfs => schreiben);
$acl->clear;

foreach mein $user ($acl->get_users) {
Druck „$user“, $acl->get_rights ($user), „N“;
}

foreach mein $user ($acl->nget_users) {
Druck „$user“, $acl->nget_rights ($user), „N“;
}

mein $ok = $acl->apply (/afs/mpa/home/guest);

mein $copy = $acl->copy;
mein $rights = AFS:: ACL->crights (gelesen);

mein $new_acl = AFS:: ACL->retrieve (/afs/mpa/home/nog);
$ok = $new_acl->modifyacl (/afs/mpa/home/guest);
MITTEILUNG: Die folgenden Leitungen sind Art der Version 1: alle Namen werden durch Zahlungseinstellung exportiert. Diese Art wird!! mißbilligt!
AFS verwenden; # Import alle AFS Namen
AFS @AFS verwenden:: ACL; # Import gerade die ACL-Namen

Diese Kategorie liefert Methoden, um die AFS Zugriffskontrollisten zu bearbeiten (ACL). Sie wird verwendet, um zu erstellen, ändert, löscht und zurücksetzte ACL-Fälle. Sie hat die Methoden, zum Zurückholen und die ACL-Liste für Verzeichnisse und seine Dateien einzustellen.

Diese Methoden lassen das wahlweiseargument FOLGEN. FOLGEN feststellt, welche Datei verwendet werden sollte, wenn BAHN ein symbolisches Link ist. Wenn FOLGEN, bis 1 eingestellt sein, dann wird das symbolische Link zu seinem Ziel gefolgt. Wenn FOLGEN wird eingestellt bis 0, dann die Methode auf das symbolische Link selbst zutrifft. Wenn Sie nicht spezifiziert werden, Zahlungseinstellungen bis 1. FOLGEN.

Sympy ist ein Paket der symbolischen Handhabung, geschrieben in reine Pythonschlange. Sympys Ziel ist, ein Vollfunktions-CAS in der Pythonschlange zu werden, beim Halten des Codes so einfach, wie möglich, um verständlich zu sein und leicht ausdehnbar.

Aktuell hat Sympy nur herum 1600 Leitungen Code (einschließlich Kommentar), und seine Fähigkeiten umfassen grundlegende Arithmetik, grundlegende Vereinfachung, Serie Dynamicdehnung, Funktionen (exp, ln, Sünde, Lattich, Tan, usw.), Unterscheidung, Integration (aktuell kann sie nur sehr einfache Integrale tun), grundlegender Ersatz, mit beliebiger Genauigkeit ganze Zahlen und Rationale, Standard (Pythonschlange) Gleitbetriebe, grundlegende komplizierte Zahlen und symbolische Begrenzungen.

Sind hier einige Hauptmerkmale von „Sympy“:

· grundlegende Arithmetik *,/, +, -
· grundlegende Vereinfachung (wie a*b*b + 2*b*a*b - > 3*a*b^2)
· Dynamicdehnung (wie (a+b)^2 - > a^2 + 2*a*b + b^2)
· Funktionen (exp, ln, Sünde, Lattich, Tan,…)
· komplizierte Zahlen (wie exp (I*x).evalc () - > Lattich (x)+I*sin (x))
· Unterscheidung
· Taylor-Serie
· grundlegender Ersatz (wie x-> ln (x))
· mit beliebiger Genauigkeit ganze Zahlen und Rationale
· Standard (Pythonschlange) Gleitbetriebe

Dann gibt es SymPy Baugruppee (1000 Leitungen) für diese Aufgaben:

· Begrenzungen (wie Begrenzung (x*log (x), x, 0) - > 0)
· Integration (aktuell kann sie sehr einfache Integrale nur tun)
· symbolische Grundmassen

y2l Projekt ist ein ACC zum hübschen Drucker der Latexgrammatik.

y2l nimmt ein yacc (1) festlegt Grammatikbeschreibungsdatei und eine EBNF (entfaltetes Backus-Naur Formular) Grammatik von ihr ihr.

Durch Zahlungseinstellung ist der Ausgang ein Latex (1) longtable Umgebung, die {} in jedes mögliches Latexdokument eingegeben werden kann.

Automatischer Ersatz der symbolischen Flughafengebäude kann um auch kümmert werden.

Optionssteuerung, ob irgendeine Optimierung auf der Grammatik erfolgt werden sollte und ob normaler ASCII-Ausgang anstatt festgelegt werden sollte.

MathStudio Projekt ist ein interaktiver Gleichungsherausgeber und ein im Schrittmodus Wandler.

MathStudio ist ein Projekt, das symbolisches einfacheres Mathe bildend das Mathe-Schreiben, die graphische Darstellung angestrebt, und.

Sein Benutzer kann und außer/Belastungsleicht eingeben, graphisch darstellen Mathedaten in den verschiedenen Formaten (z.B., MathML). Im Schrittmodus Auflösung herstellt dieses ein leistungsfähiges erlernenwerkzeug es.

Sind hier einige Hauptmerkmale von „MathStudio“:

· Quelle
· Kreuz-Plattform
· Compilerträger
· Bedienungsfreundlich
· Einfach, ausdehnbar
· Zwischenstufen

Devlabel ist ein Programm, das dynamisch symbolische Verbindungen zu den Platte-/Trennwandnamen herstellt.

Es verwendet die Platten und/oder einzigartigen die Kennungen der Trennwände, um das symlink zu halten gezeigt auf den korrekten Einbauort, selbst wenn der zugrundeliegende Trennwandname geändert hat.

So unabhängig davon, ob /dev/sdb6 /dev/sdc6 wird, findet devlabel dieses alles heraus und zeigt das symlink auf die korrekten Daten.

dk.brics.automaton Projekt ist ein Java-Paket, das eine DFA/NFA (finite-state Automaten) Umsetzung mit Unicode Alphabet (UTF16) und Träger für die Standardarbeitsweisen des regulären Ausdrucks (Verkettung, Verbindungsstück, Kleene Stern) und einige nichtstandardisierte enthält (Durchschnitt, Ergänzung, usw.).

Im Gegensatz zu vielen ist andere Automaten-/regexppakete, dieses Paket schnell, kompakt, und die realen Werkzeuge, uneingeschränkte regelmäßige Arbeitsweisen. Es verwendet eine symbolische Darstellung, die auf Abständen der Unicode Zeichen basiert.

GetDP ist ein allgemeiner begrenzter Elementwandler, der Mischelemente discretize de Rham-Typ Komplexe in einen, zwei und drei Abmessungen verwendet.

GetDP hat Merkmale wie Nähe zwischen den Inputdaten, welche die getrennten Probleme definieren (geschrieben vom Benutzer in ASCII-Dateien) und die symbolischen mathematischen Ausdrücke dieser Probleme.

Was in diesem Auslösen neu ist:

· Dieses Auslösen vereinfacht die Syntaxanalyse, indem es Standardregelkreise anstelle vom Multianzeigemarke Konstruieren verwendet, und entfernt die Cygwin Abhängigkeit für die Windows-Version.