compmath-developers team mailing list archive

[Andreas Brechtel <andreasbrechtel@xxxxxxxxxxxxxx>]

- Mittwoch, 30. Dezember 2009, 00:38 -
BloodValla: nerd beschreibt ja auch interessen und kerl eher das auftreten
Ionenbombe: ich mache den channel jetzt zu
Ionenbombe: wir haben ja was geschafft
schnitzl: k
Ionenbombe: bye

- Donnerstag, 31. Dezember 2009, 00:24 -
 - z33ky hat den Raum betreten
z33ky: So spät am Aband?
z33ky: bzw. so früh am Morgen?
Ionenbombe: Ach ne kurze Runde geht immer.
 - bloodvalla hat den Raum betreten
 - chaotika hat den Raum betreten
BloodValla: hallo
z33ky: holla
chaotika: http://ccc.de/de/updates/2009/gsm-nicht-mehr-sicher
z33ky: Irgendein Vogel hat das mir schon zu gezwitschert ^^
BloodValla: mach grad nen iq-test auf zeit, bin gleich da
Ionenbombe: Bevor wir zum Thema kommen, wollte ich fragen bis wann das
wiki stehen kann.
chaotika: das iuk-wiki ist down
chaotika: ich kann mich erst darum kümmern wenn das fertig ist

- 00:30 -
Ionenbombe: gut dann kümmern wir uns darum in ruhe wenn du wieder da bist.
Ionenbombe: Ich denke das bekommen wir auch zu zweit hin, wenn da
keine einwände bestehen.
Ionenbombe: dann sparen wir zeit und kommunikation
Ionenbombe: okay dann zum thema
Ionenbombe: wir müssen nun darüber reden wie wir Operatoren und
Variablen realisieren.
chaotika: variablen haben einen namen
Ionenbombe: Wir waren uns ja bereits einig, dass Kostante ein
Spezialfall von Variable ist.
chaotika: dieser ist eine zeichenkette und eventuell noch ein index
chaotika: der wert ist bei der variable variabel
chaotika: und bei der konstante konstant
Ionenbombe: Variablen und Operatoren setzten Terme zusammen
Ionenbombe: Ich würde das ganze als symbolischen Platzhalter
realisieren, für das konkrete speichern von werten könnte man dann
eine Zahlen-Klasse erstellen.
chaotika: ja

- 00:35 -
z33ky: Klingt gut.
chaotika: dann kann man die numerik optimieren
Ionenbombe: genau
chaotika: und das ist auch gut für die diskrete rechnung
Ionenbombe: das ist das konzept der algebra
Ionenbombe: denkt beispielsweise an PI
z33ky: Haben Variablennamen wirklich nur ein oder mehrere Zeichen und ein Index?
Es gibt doch auch z.B. p, p', p'', p'''...
Ionenbombe: auch menschen haben nicht genug kapazität um reelle zahlen
auszuschreiben
Ionenbombe: Das ist umbedingt notwendig
Ionenbombe: Mehrere ZEichen müssten langen und der index wäre dann
eine sache der darstellung, oder?
chaotika: z33ky: das war nicht ausschließend gemeint, sondern bedingend
z33ky: Eine isReal-Funktion wäre praktisch.
Ionenbombe: Das bekommen wir mit der Mengenlehre
Ionenbombe: falls du relle Zahlen meinst
chaotika: das wird mit der mengenlehre realisiert
z33ky: Hmm... haben unsere Variablen und Konstanten dann überhaupt Namen?
Ionenbombe: JA
chaotika: wieso nicht?
Ionenbombe: sonst gibt es ja keinen sinn
Ionenbombe: Der Körper K
Ionenbombe: dann ist der name K
z33ky: Weil externe representation bei der Rechnung nicht wichtig ist.
Man könnte die Variablen/Konstanten einfach durch nummerieren.
 - schnitzl hat den Raum betreten
z33ky: ohi
schnitzl: huhu
chaotika: hi
Ionenbombe: ich schicke dir das bisherige gespräch

- 00:40 -
schnitzl: ich bin spätestens um 1 wieder weg
Ionenbombe: wegen der Performance wäre das vielleicht besser
chaotika: ich denke namen sind aber schon wichtig
chaotika: aber man kann die auch in eine tabelle schreiben
Ionenbombe: man kann die dann ja später der notation zuweisen
chaotika: ja, in einer zuordnungstabelle
chaotika: das ist sehr effizient
z33ky: Aber der Name ist nicht blos ein char*...
z33ky: Am besten ist der Type ein Template-argument.
chaotika: oha, jetzt geht die menge hier RICHTIG ab
chaotika: tetris
z33ky:
chaotika: und der saal ist voller hacker
chaotika: der dj hat einen tetris-track
 * z33ky sucht nach der original Tetris-musik.
Ionenbombe: (-_-||) wir müssen standhaft bleiben, an die ARBEIT
chaotika: inspiration
z33ky: http://zeeky-h-bomb.blogspot.com/2009/05/catchy-song.html
heh...

Also, die Tabelle ist vom Typ T. Irgendwelche einwände?
Ionenbombe: ich verstehe nicht warum als Template

- 00:45 -
chaotika: hä?
chaotika: (fragt der hesse)
z33ky: Weil man so die Namen von der Schnittstelle abhebt.
chaotika: erleutere das mal bitte (sagt der deutsche)
z33ky: Jemand könnte eine Klasse für die Notation haben.
z33ky: Jemandem anders genügt ein char*.
z33ky: Oder ein wchar_t*.
z33ky: Da uns der Typ eigendlich nicht interessiert, template<typename T>.
Oder halt void* als Option, wenn was mit dem template nicht aufgehen sollte.
chaotika: wir müssen diese diskussion aufteilen
chaotika: design und code
Ionenbombe: wir behalten das mit den Templates mal im kopf
chaotika: ack
Ionenbombe: wir sollten darüber reden wie wir Operatoren umsetzten

- 00:51 -
chaotika: wie viele terme verbindet ein operator
chaotika: endlich viele oder?
schnitzl: eigentlich auch unendlich viele. integraloperator z.b.
schnitzl: ach... ne. denkfehler
Ionenbombe: aber uneigentliche summen
Ionenbombe: unendliche reihe
chaotika: dann wäre noch die frage ob ein operator eine variable
anzahl an operanten braucht
chaotika: wenn diese fragen mit nein beantwortet werden, ist es recht einfach
chaotika: vl sollten wir da eine desiknentscheidung treffen
chaotika: beim unbestimmten integral braucht man halt einen undefined-typ
Ionenbombe: ein integral ist mit fester alzahl an operanten ausgestattet
schnitzl: eigentlich kann man bei jedem operator sagen wieviel
operanden vorhanden sein können/müssen.
Ionenbombe: wir sollten ersteinmal nur davon ausgehen das die anzahl fest ist
chaotika: für spezialfälle gibt es da dann halt ein entsprechendes interfasce

- 00:56 -
z33ky: Wenn es denn welche geben sollte..
Ionenbombe: wenn ich euch jtzt erzähle das eine Tensoralgebra
unendlich viele Operanten hat bringt uns das einfach nicht weiter
Ionenbombe: es gibt sie
z33ky: :S
chaotika: die kann man dann ja zusätzlich reinbauen über irgendein interface
Ionenbombe: ja
Ionenbombe: damit können wir uns jetzt nicht aufhalten
chaotika: aber gut das wir mal gesprochen habe
z33ky: Wir hatten doch schonmal darüber geredet, oder?
Da hatte ich die Idee mit setArg(index, value)
z33ky: Das geht natürlich nur bei endlich vielen Operatoren...
Ionenbombe: soll ein operator überhaupt die operanten aufnehmen
Ionenbombe: ?
Ionenbombe: das haben wir nie geklärt
chaotika: ja
chaotika: darüber mssen wir reden
chaotika: es ist halt der zur zeit einzige konkrete implementierungsvorschlag
z33ky: Du meinst, der Term soll die Operationen ausführen?
Na, da gäbe es aber eine große switch-answeisung
Ionenbombe: mei klassisches konzept sah es ja vor
Ionenbombe: also das der operator die operanten beinhaltet
chaotika: man kann das auch dynamisch machen

- 01:01 -
z33ky: Was genau meinst du damit?
chaotika: das mit der switch-anweisung
z33ky: Wie willst du eine dynamische switch-anweisung machen?
z33ky: Wiso überhaupt dynamisch?
 * z33ky ist verwirrt.

- 01:08 -
BloodValla: bin wieder da
chaotika: man könnte das über eine sequenz machen
z33ky: Du meinst ein Array?
z33ky: Wiso würde man das wollen? Man hat doch alles während der Compile-zeit.
Und wie man so ein statisches Array realisieren kann... da hab ich mir
schonmal den Kopf zerbrochen.
z33ky: Zudem nimmt ein Array oder ein Vector recht viel Speicher am
Stück weg.. da ist die Methode, dass der Operator die Operation durch
führt einfacher und ich würde sagen auch performanter.
chaotika: also doch mit den operanten im operator

- 01:13 -
chaotika: so ist es ja zum beispiel auch bei einer funktion
chaotika: gibt es dagegen argumente?
chaotika: weil nur diese können uns dann zu einer alternative führen
und deren anforderungen bestimmen
Ionenbombe: wenn die operanten im operator sind, wie werden sie dann
bei umformungen zb assoziativität getauscht
z33ky: Durch Axiome, der im Term überprüft werden können.
chaotika: vl mit variablen opearatanten von einer
chaotika: sorte
Ionenbombe: also das soll der operator selber bereitstellen? oder der Term?
Ionenbombe: Soll Operator von Term erben oder Term Operatoren aufnehmen
Ionenbombe: so wie ich das jetzt verstehe wäre ersteres erfordelich

- 01:18 -
chaotika: oh je
chaotika: kausal abhängig
z33ky: Der Term verkettet seine Variablen/Konstanten mit den
Operatoren, die Operatoren besitzen die Teil-Terme als Operanten.
Ionenbombe: das war ja darmals die scheiße
Ionenbombe: also quasi immer ein operator Terme?
Ionenbombe: Wie werden die dann verknüpft?
chaotika: vl eine virtuelle basisklasse
Ionenbombe: für was?
chaotika: für terme, operatoren und variablen
chaotika: und konstanten

- 01:23 -
z33ky: 1 + X + 5 * 4²
Op1: 4 * 4
Op2: 5 * Op1
Op3: X + Op2
Op4: 1 + Op3
MainTerm: Op4

Sieht das irgendwie schlecht aus?
chaotika: keine aufnahme
chaotika: kommentiere!
Ionenbombe: okay, man muss darauf achten, dass die wie gesagt gescheit
die operanten tauschen können (falls kommutativ etc)
z33ky: Der Term wird in einzelne Operatinen zerlegt, wobei die eine
auf der anderen aufbaut.
z33ky: Beim zerlegen kann umgestellt werden.
chaotika: ja
chaotika: jeder operator ist von dieser basisklasse, variablen und
konstanten auch
chaotika: so ist alles zu einander kompatibel
Ionenbombe: okay, das scheit zu klappen
chaotika: wie nennen wir diese basisklasse?

- 01:29 -
BloodValla: objekte
chaotika: nein
chaotika: das muss passender sein
BloodValla: mathematische objekte
chaotika: math_obj
BloodValla: zB
schnitzl: bin dann mal schlafen
schnitzl: gutnacht
z33ky: ciao
BloodValla: tschau
chaotika: gn8
chaotika: math_obj?
 - schnitzl hat den Raum verlassen

- 01:35 -
Ionenbombe: was ähnliches sagte ich auch bereits
BloodValla: *OS-Exchange*
 - BloodValla hat den Raum verlassen
chaotika: das war sher produktiv bis jetzt

- 01:40 -
 - BloodValla hat den Raum betreten
chaotika: den chatlog dann bitte per mail
Ionenbombe: Wie sieht es eigentlich mit dem Thema parallelisierung aus?
Ionenbombe: Und Verteilte Systeme?
chaotika: gute frage
chaotika: anweisungen üssen zerlegbar sein
chaotika: dann kann man sie serialisieren und auf eine andere
maschiene übertragen
chaotika: vl gibts ja irgendwann precesses over mmultiple systems in linux
chaotika: processes
chaotika: es gibt bsd-varianten die das können
chaotika: ist halt die frage ob wir es implementieren müssen, wenn es
cluster-lösungen gibt
Ionenbombe: und es gibt auch mehr prozessorsysteme oder auch eindache
multicore systeme
chaotika: aber wir brauchen die möglichkeit des verteilten rechnens

- 01:47 -
chaotika: https://secure.wikimedia.org/wikipedia/en/wiki/POSIX_Threads
chaotika: http://www.boost.org/doc/libs/1_41_0/doc/html/thread.html

- 01:57 -
Ionenbombe: Ich hab mir auch heute mal gnuplot angeschaut, das wäre
durchaus geeignet
Ionenbombe: ist halt die Frage wegen der Lizenz, da das ja gar nicht
unter der GPL steht.
chaotika: boost ist bsd-style-licence
Ionenbombe: http://www.myvideo.de/watch/1271148/Geniale_mathematik

- 02:02 -
Ionenbombe: das ist irgendwie übel
chaotika: ich glaube das man aber ein programm extern ansteuern darf,
dass unter einer anderen lizenz steht
Ionenbombe: ja ich glaub auch

- 02:23 -
chaotika: ich bin raus
chaotika: cya
Ionenbombe: cya
BloodValla: tschau
 * chaotika dances tonight
chaotika: cya
 - chaotika hat den Raum verlassen
Ionenbombe: schickt mal einer das den log auf die liste
BloodValla: ich hab nicht mehr das komplette

- 02:29 -
z33ky: Ich kann nicht an die Liste senden
Aber ich könnts an jeden einzeln senden.
Ionenbombe: oh man
Ionenbombe: das ist ein scherz oder?
z33ky: ?
Ionenbombe: das geht immer nocht nicht
z33ky: Naja, ich habs net nochmals probiert.
Ionenbombe: Naja es wurde halt auch nichts gemacht
Ionenbombe: aber probiers mal
Ionenbombe: manchmal löst sich sowas von selbst

- 02:40 -
z33ky: Hat jemand was bekommen?
BloodValla: ich nicht
Ionenbombe: nein
z33ky: Ich probiers noch ein zweites mal. Wenn das net geht.. tjo