-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!pwr.wroc.pl!new
s.wcss.wroc.pl!not-for-mail
From: a...@m...uni.wroc.pl
Newsgroups: pl.comp.programming
Subject: Re: Pisanie program?w do oblicze? symbolicznych
Date: Sun, 2 Oct 2016 00:27:45 +0000 (UTC)
Organization: Politechnika Wroclawska
Lines: 60
Message-ID: <nspka1$nsc$1@z-news.wcss.wroc.pl>
References: <nrlldd$6km$1@node2.news.atman.pl>
NNTP-Posting-Host: hera.math.uni.wroc.pl
X-Trace: z-news.wcss.wroc.pl 1475368065 24460 156.17.86.1 (2 Oct 2016 00:27:45 GMT)
X-Complaints-To: a...@n...pwr.wroc.pl
NNTP-Posting-Date: Sun, 2 Oct 2016 00:27:45 +0000 (UTC)
Cancel-Lock: sha1:scK0yrZZwnjXDQcg5JDNGcPQF+o=
User-Agent: tin/2.2.1-20140504 ("Tober an Righ") (UNIX) (Linux/4.6.4 (x86_64))
Xref: news-archive.icm.edu.pl pl.comp.programming:209843
[ ukryj nagłówki ]Borneq <b...@a...hidden.pl> wrote:
> By? kiedy? taki program Derive. Maxima jest napisana w Lispie czy j?zyku
> lispopodobnym. S? koby?y jak Matematica czy Wolfram.
> Nic nie powinno by? przeszkod?, aby pisa? to nie w j?zykach
> lispopodobnych ale og?lnego przeznaczenia C++ czy Javie.
Jak chcesz to wygodnie pisac to pojawia sie troche wymagan:
- elastyczne struktury danych (zaczynajac od list)
- odsmiecanie (garbage collection). Np. jak piszesz
a := f(g(x))
i g zwraca dynamicznie zaalokowana strukture danych to chesz
zeby ona znikenla kiedy jest niepotrzebna
- elastyczne przeciazanie lub beztypowosc. Np.
x * y
moze oznaczac mnozenie funkcji, wyrazen, macierzy lub wektorow.
Aby miec zgodnosc z tradycyjna notacja dobrze uzywac ten sam
symbol (czyli '*') na oznaczanie mnozenia.
Jesli podchodzisz do problemu powaznie to pewnie chcesz zeby
program szybko dzialal a wtedy potrzebujesz szybkie procedury
arytmetyki wielokrotnej precyzji, co na dzis oznacza wstawki
w asemblerze.
Ludzie pisali programy obliczen symbolicznych w roznych
jezykach, np. Pari-GP w C, giac, ginac i Yacas w C++, jest pare
w Javie. Jak sobie popatrzysz na Pari-GP to bedziesz wiedzial
dlaczego C slabo sie nadaje do obliczen symbolicznych: kod
jest dluzszy i malo czytelny w porownaniu z lepiej dobranym
jezykiem. Java i C++ sa troche lepsze, ale praktyce tez
maja problemy (teoretycznie templates + biblioteki wsparcia
daja odpowiednia elastycznosc w C++).
> Ale jak napisa?
> nawet najprostsze narz?dzie do przekszta?cania wzor?w? Raczej nie
> stosuje si? algorytm?w lecz pewne regu?y przekszta?ce?, kt?re program
> musi wiedzie? jak kt?re u?y?.
"Reguly przeksztalcen" to bylo 40 lat temu. Teraz kluczem
sa algorytmy. Na wstepie mozesz zajrzec do ksiazki
J.H. Davenport, Y. Siret, E. Tournier, "Computer Algebra -- Systems
and Algorithms for Algebraic Computation" dostepnej pod:
http://staff.bath.ac.uk/masjhd/masternew.pdf
Jako wskazowka: jedna z najprostszych operacji jest "skracanie"
ulamkow. Zwylke to sie robi obliczajac najwiekszy spolny dzielnik
(GCD). Dla liczb dobrze dziala algorytm Euklidesa. Dla
wielomianow wielu zmiennych tez mozna uzyc algorytm Euklidesa.
Ale najpierw trzeba troche teorii. Potem okazuje sie
ze naiwna implementacja jest powolna. Szybka implementacja
uzywa nowych pomyslow.
--
Waldek Hebisch
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-08 Router LTE z możliwością zmian MTU
- 2025-07-08 Re: Pożar w Ząbkach a polscy dyletanci
- 2025-07-08 Trójmiasto => Head of Social Media <=
- 2025-07-08 Warszawa => MENA New Business Manager <=
- 2025-07-08 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-08 Warszawa => Customer Service with Spanish + translation <=
- 2025-07-08 Warszawa => Senior Account Manager <=
- 2025-07-08 Parkometry bez podstawy prawnej
- 2025-07-07 Re: Ząbki się spaliły jak wiejskie, drewniane stodoły sprzed 50 lat
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 TV z Play (dawniej UPC) -- potrzebny dekoder?
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 mija rok jeżdzenia po lewej
- 2025-07-06 Elektryki jednak są NIEBEZPIECZNE
- 2025-07-08 Fajny film widziałem...