[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#132 Series expansion with complex doesn't print expa
From: |
Bill Page |
Subject: |
[Axiom-developer] [#132 Series expansion with complex doesn't print expansion point in type expression] (new) |
Date: |
Thu, 24 Mar 2005 13:38:48 -0600 |
Changes
http://page.axiom-developer.org/zope/mathaction/132SeriesExpansionWithComplexDoesntPrintExpansionPointInTypeExpression/diff
--
Original Date: Sun, 13 Mar 2005 08:44:43 -0600
\begin{axiom}
series(sin(x),x=%i)
\end{axiom}
<pre>
Type: UnivariatePuiseuxSeries?(Expression Complex Integer,x,)
^^
</pre>
but for Integer for example
<pre>
Type: UnivariatePuiseuxSeries?(Expression Integer,x,0)
</pre>
>From unknown Sun Mar 20 14:30:14 -0600 2005
From:
Date: Sun, 20 Mar 2005 14:30:14 -0600
Subject: With complex doesn't print expansion point (type)
Message-ID: <address@hidden>
In-Reply-To: <address@hidden>
<pre>
file: msgdb.boot.pamphlet
function: brightPrint0
x = '"%i" =>
$MARG := $MARG + 3
------------------------
Each message may contain formatting codes and and parameter codes.
The formatting codes are:
%b turn on bright printing
%ceoff turn off centering
%ceon turn on centering
%d turn off bright printing
%f user defined printing
%i start indentation of 3 more spaces
%l start a new line
%m math-print an expression
%rjoff turn off right justification (actually ragged left)
%rjon turn on right justification (actually ragged left)
%s pretty-print as an S-expression
%u unindent 3 spaces
%x# insert # spaces
</pre>
>From unknown Sun Mar 20 14:33:53 -0600 2005
From:
Date: Sun, 20 Mar 2005 14:33:53 -0600
Subject: With binary infix operator in expansion point,
transform it to fortran (displayed type)
Message-ID: <address@hidden>
\begin{axiom}
series(sin(x),x=%pi/2)
series(sin(x),x=%e)
series(sin(x),x=%e+3)
series(sin(x),x=%i+7)
\end{axiom}
<pre>
file: format.boot.pamphlet
Infix Binary Operator: "=" "+" "-" "*" "/" "**" "^" (i-output.boot.pamphlet =>
function isBinaryInfix)
function: form2String1 call fortexp0
isBinaryInfix op => fortexp0 [op,:argl]
----------------------------------------
In fortPre1 (file:newfort.boot.pamphlet)
fortPre1 e ==
-- replace spad function names by Fortran equivalents
-- where appropriate, replace integers by floats
-- extract complex numbers
-- replace powers of %e by calls to EXP
-- replace x**2 by x*x etc.
-- replace ROOT by either SQRT or **(1./ ... )
-- replace N-ary by binary functions
-- strip the '%' character off objects like %pi etc..
</pre>
>From test Thu Mar 24 12:03:22 -0600 2005
From: test
Date: Thu, 24 Mar 2005 12:03:22 -0600
Subject: PATCH: Replace %i (indent) by %I
Message-ID: <address@hidden>
This patch replace all %i (format) by %I. Go to src/interp directory and type
grep -r '%i\>' .
It's not heavily tested but relatively simple (check it).
See above for details.
<pre>
diff -ur ../axiom-old/src/interp/format.boot.pamphlet
src/interp/format.boot.pamphlet
--- ../axiom-old/src/interp/format.boot.pamphlet 2005-01-05
01:04:55.000000000 +0100
+++ src/interp/format.boot.pamphlet 2005-03-24 18:39:07.030278760 +0100
@@ -58,7 +58,7 @@
sayMSG formatModemap old2NewModemaps displayTranModemap m
sayModemapWithNumber(m,n) ==
- msg := reverse cleanUpSegmentedMsg reverse ["%i","%i",'" ",
+ msg := reverse cleanUpSegmentedMsg reverse ["%I","%I",'" ",
STRCONC(lbrkSch(),object2String n,rbrkSch()),
:formatModemap displayTranModemap m,"%u","%u"]
sayMSG flowSegmentedMsg(reverse msg,$LINELENGTH,3)
@@ -354,7 +354,7 @@
$permitWhere : local := true
$whereList: local := nil
s:= form2String u
- $whereList => concat(s,'%b,'"where",'%d,"%i",$whereList,"%u")
+ $whereList => concat(s,'%b,'"where",'%d,"%I",$whereList,"%u")
s
form2StringWithPrens form ==
@@ -482,10 +482,10 @@
$permitWhere = true =>
opList:= formatJoinKey(r,id)
$whereList:= concat($whereList,"%l",$declVar,": ",
- formJoin2 argl,'%b,'"with",'%d,"%i",opList,"%u")
+ formJoin2 argl,'%b,'"with",'%d,"%I",opList,"%u")
formJoin2 argl
opList:= formatJoinKey(r,id)
- suffix := concat('%b,'"with",'%d,"%i",opList,"%u")
+ suffix := concat('%b,'"with",'%d,"%I",opList,"%u")
concat(formJoin2 argl,suffix)
formJoin2 u
diff -ur ../axiom-old/src/interp/i-syscmd.boot.pamphlet
src/interp/i-syscmd.boot.pamphlet
--- ../axiom-old/src/interp/i-syscmd.boot.pamphlet 2005-01-30
13:04:38.000000000 +0100
+++ src/interp/i-syscmd.boot.pamphlet 2005-03-24 18:34:14.263786032 +0100
@@ -1823,7 +1823,7 @@
'%l,'" ",'%b,:blankList patterns,'%d]
for [syn,:comm] in ls repeat
if SUBSTRING(syn,0,1) = '"|" then syn := SUBSTRING(syn,1,NIL)
- if syn = '"%i" then syn := '"%i "
+ if syn = '"%I" then syn := '"%I "
wid := MAX(30 - (entryWidth syn),1)
sayBrightly concat('%b,prefix,syn,'%d,
fillerSpaces(wid,'"."),'" ",prefix,comm)
diff -ur ../axiom-old/src/interp/msgdb.boot.pamphlet
src/interp/msgdb.boot.pamphlet
--- ../axiom-old/src/interp/msgdb.boot.pamphlet 2005-01-05 01:05:36.000000000
+0100
+++ src/interp/msgdb.boot.pamphlet 2005-03-24 18:35:57.886033056 +0100
@@ -28,7 +28,7 @@
%ceon turn on centering
%d turn off bright printing
%f user defined printing
- %i start indentation of 3 more spaces
+ %I start indentation of 3 more spaces -- (2005) changed from %i
(avoid conflict with complex i)
%l start a new line
%m math-print an expression
%rjoff turn off right justification (actually ragged left)
@@ -254,7 +254,7 @@
NREVERSE msg1
-SETANDFILEQ($msgdbPrims,'( %b %d %l %i %u %U %n %x %ce %rj "%U" "%b" "%d" "%l"
"%i" "%u" "%U" "%n" "%x" "%ce" "%rj"))
+SETANDFILEQ($msgdbPrims,'( %b %d %l %I %u %U %n %x %ce %rj "%U" "%b" "%d" "%l"
"%I" "%u" "%U" "%n" "%x" "%ce" "%rj"))
SETANDFILEQ($msgdbPunct,'(_. _, _! _: _; _? _] _) "." "," "!" ":" ";" "?" "]"
")" ))
SETANDFILEQ($msgdbNoBlanksBeforeGroup,['" ", " ", '"%", "%",_
:$msgdbPrims, :$msgdbPunct])
@@ -289,8 +289,8 @@
blanks := ['" "," "]
haveBlank := NIL
prims :=
- '(%b %d %l %i %u %m %ce %rj _
- "%b" "%d" "%l" "%i" "%m" "%u" "%ce" "%rj")
+ '(%b %d %l %I %u %m %ce %rj _
+ "%b" "%d" "%l" "%I" "%m" "%u" "%ce" "%rj")
msg1 := NIL
for x in msg repeat
if haveBlank and ((x in blanks) or (x in prims)) then
@@ -512,7 +512,7 @@
actualMarg := potentialMarg
nl := [f,'%l,:nl]
lnl := 199999
- f in '("%i" %i ) =>
+ f in '("%I" %I ) =>
potentialMarg := potentialMarg + 3
nl := [f,:nl]
PAIRP(f) and CAR(f) in '("%t" %t) =>
@@ -652,7 +652,7 @@
x = '"%l" =>
sayNewLine()
for i in 1..$MARG repeat sayString '" "
- x = '"%i" =>
+ x = '"%I" =>
$MARG := $MARG + 3
x = '"%u" =>
$MARG := $MARG - 3
@@ -679,7 +679,7 @@
x = '"%l" =>
sayString('"\\")
for i in 1..$MARG repeat sayString '"\ "
- x = '"%i" =>
+ x = '"%I" =>
$MARG := $MARG + 3
x = '"%u" =>
$MARG := $MARG - 3
</pre>
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#132 Series expansion with complex doesn't print expansion point in type expression] (new),
Bill Page <=