[Axiom-developer] [#132 Series expansion with complex doesn't print expansion point in type expression] (new)

[Bill Page]

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