# HG changeset patch # User Jan Rocnik # Date 1317114300 -7200 # Node ID b24574463e1ab88e5ba81c18cbf31ab32df68552 # Parent 5de15407e4626514ada0be91c1b69e990551cead before merge diff -r 5de15407e462 -r b24574463e1a doc-src/isac/jrocnik/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/isac/jrocnik/Makefile Tue Sep 27 11:05:00 2011 +0200 @@ -0,0 +1,54 @@ +## targets + +default: thesis clean +all: thesis docu clean +thesis: thesis clean +docu: docu clean + + +## dependencies + + +## settings + +LATEX = latex +PDFLATEX = pdflatex +BIBTEX = bibtex +RAIL = rail -a +SEDINDEX = ./sedindex +FIXBOOKMARKS = perl -pi fixbookmarks.pl + +DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof +DEFAULT_OUTPUT = *.dvi *.pdf *.ps +GARBAGE = +OUTPUT = + +## special targets + +.DELETE_ON_ERROR: + +## actions + +nothing: + +clean: + @rm -f $(DEFAULT_GARBAGE) $(GARBAGE) + +mrproper: + @rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT) + +THESIS_NAME = bakkarbeit_jrocnik +THESIS_FILES = bakkarbeit_jrocnik.tex + +DOCU_NAME = Inverse_Z_Transform/doc/Inverse_Z_Transform +DOCU_FILES = Inverse_Z_Transform/doc/root.tex + +thesis: $(THESIS_NAME).pdf + +$(THESIS_NAME).pdf: $(THESIS_FILES) + $(PDFLATEX) $(THESIS_NAME) + $(BIBTEX) $(THESIS_NAME) + $(PDFLATEX) $(THESIS_NAME) + $(PDFLATEX) $(THESIS_NAME) + +docu: diff -r 5de15407e462 -r b24574463e1a doc-src/isac/jrocnik/coursedirectory --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/isac/jrocnik/coursedirectory Tue Sep 27 11:05:00 2011 +0200 @@ -0,0 +1,1 @@ +../../../test/Tools/isac/ADDTESTS/course/SignalProcess \ No newline at end of file diff -r 5de15407e462 -r b24574463e1a doc-src/isac/jrocnik/fixbookmarks.pl --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/isac/jrocnik/fixbookmarks.pl Tue Sep 27 11:05:00 2011 +0200 @@ -0,0 +1,4 @@ + +s/\\([a-zA-Z]+)\s*/$1/g; +s/\$//g; +s/^BOOKMARK/\\BOOKMARK/g; diff -r 5de15407e462 -r b24574463e1a doc-src/isac/jrocnik/sedindex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/isac/jrocnik/sedindex Tue Sep 27 11:05:00 2011 +0200 @@ -0,0 +1,21 @@ +#! /bin/sh +# +#sedindex - shell script to create indexes, preprocessing LaTeX's .idx file +# +# puts strings prefixed by * into \tt font +# terminator characters for strings are |!@{} +# +# a space terminates the \tt part to allow \index{*NE theorem}, etc. +# +# change *"X"Y"Z"W to "X"Y"Z"W@{\tt "X"Y"Z"W} +# change *"X"Y"Z to "X"Y"Z@{\tt "X"Y"Z} +# change *"X"Y to "X"Y@{\tt "X"Y} +# change *"X to "X@{\tt "X} +# change *IDENT to IDENT@{\tt IDENT} +# where IDENT is any string not containing | ! or @ +# FOUR backslashes: to escape the shell AND sed +sed -e "s~\*\(\".\".\".\".\)~\1@{\\\\tt \1}~g +s~\*\(\".\".\".\)~\1@{\\\\tt \1}~g +s~\*\(\".\".\)~\1@{\\\\tt \1}~g +s~\*\(\".\)~\1@{\\\\tt \1}~g +s~\*\([^ |!@{}][^ |!@{}]*\)~\1@{\\\\tt \1}~g" $1.idx | makeindex -c -q -o $1.ind diff -r 5de15407e462 -r b24574463e1a src/Tools/isac/Knowledge/Partial_Fractions.thy --- a/src/Tools/isac/Knowledge/Partial_Fractions.thy Tue Sep 27 11:00:49 2011 +0200 +++ b/src/Tools/isac/Knowledge/Partial_Fractions.thy Tue Sep 27 11:05:00 2011 +0200 @@ -11,22 +11,42 @@ Trueprop $ (mk_equality (t, denom))) | eval_get_denominator _ _ _ _ = NONE; *} -text {*rule set for partial fractions*} + + + +subsection {*get the argument out of a fraction*} + +ML {* +(*("get_argument", ("Rational.get'_argument", eval_get_argument ""))*) + +(* +fun eval_get_argument "Atools.argument'_in" + (t as (Const ("Atools.argument'_in", _) $ (f $ arg))) _ = + if is_Free arg (*could be something to be simplified before*) + then SOME (term2str t ^ " = " ^ term2str arg, + Trueprop $ (mk_equality (t, arg))) + else NONE + | eval_argument_in _ _ _ _ = NONE; +*) + +*} + +subsection{*rule set for partial fractions*} ML {* val partial_fraction = Rls {id="partial_fraction", preconds = [], rew_ord = ("termlessI",termlessI), erls = Erls, srls = Erls, calc = [], rules = [ - Calc ("Rings.inverse_class.divide", eval_get_denominator "#") + Calc ("Rings.inverse_class.divide", eval_get_denominator "#", eval_get_argument "X") ], scr = EmptyScr}; *} -text {*store the rule set for math engine*} + +subsection{*store the rule set for math engine*} ML {* overwritelthy @{theory} (!ruleset', [("partial_fraction", prep_rls partial_fraction) ]); *} - end \ No newline at end of file diff -r 5de15407e462 -r b24574463e1a src/Tools/isac/Knowledge/Partial_Fractions.thy.bak --- a/src/Tools/isac/Knowledge/Partial_Fractions.thy.bak Tue Sep 27 11:00:49 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,65 +0,0 @@ -theory Partial_Fractions imports Rational begin - -subsection {*get the denominator out of a fraction*} -text {*this function can be put into rule sets*} -ML {* -(*("get_denominator", ("Rational.get'_denominator", eval_get_denominator ""))*) -fun eval_get_denominator (thmid:string) _ - (t as (Const("Rings.inverse_class.divide", _) $ num $ denom)) thy = - SOME (mk_thmid thmid "" - (Print_Mode.setmp [] (Syntax.string_of_term (thy2ctxt thy)) denom) "", - Trueprop $ (mk_equality (t, denom))) - | eval_get_denominator _ _ _ _ = NONE; - - - -*} - - - -subsection {*get the argument out of a fraction*} - -ML {*(* -(*("get_argument", ("Rational.get'_argument", eval_get_argument ""))*) - - -fun eval_get_argument "Atools.argument'_in" - (t as (Const ("Atools.argument'_in", _) $ (f $ arg))) _ = - if is_Free arg (*could be something to be simplified before*) - then SOME (term2str t ^ " = " ^ term2str arg, - Trueprop $ (mk_equality (t, arg))) - else NONE - | eval_get_argument_in _ _ _ _ = NONE; -*) -*} - - -subsection {*store the function for fetching from script*} - -ML {* -calclist' := overwritel (!calclist', - [ - ("get_denominator", ("Rational.get'_denominator", eval_get_denominator "")), - ("get_argument", ("Rational.get'_argument", eval_get_argument "")) - ]); -*} - -subsection{*rule set for partial fractions*} -ML {* -val partial_fraction = - Rls {id="partial_fraction", preconds = [], rew_ord = ("termlessI",termlessI), - erls = Erls, srls = Erls, calc = [], - rules = [ - Calc ("Rings.inverse_class.divide", eval_get_denominator "#", eval_get_argument "X") - ], - scr = EmptyScr}; -*} - -subsection{*store the rule set for math engine*} -ML {* - overwritelthy @{theory} (!ruleset', - [("partial_fraction", prep_rls partial_fraction) - ]); -*} - -end \ No newline at end of file