Here is a simplification of the problem:

(1) -> ex := sum(a^k,a=1..k); ex1 := ex/eval(ex, k=k-1);

                                                    Type: 
Expression(Integer)
(2) -> )tr EFSTRUC )math
 
   Packages traced: 
      ElementaryFunctionStructurePackage(Integer,Expression(
            Integer))
   Parameterized constructors traced:
      EFSTRUC
(2) -> normalize(ex1)
 1<enter ElementaryFunctionStructurePackage.normalize,192 : 
            k
           --+    k
           >     a
           --+
          a = 1
 arg1 = -------------
        k - 1
         --+    k - 1
         >     a
         --+
        a = 1
  1<enter ElementaryFunctionStructurePackage.normalize,191 : 
              k
             --+    k
             >     a
             --+
            a = 1
  arg1 = [-------------]
          k - 1
           --+    k - 1
           >     a
           --+
          a = 1
  arg2 = []
   1<enter ElementaryFunctionStructurePackage.realElementary,23 : 
              k
             --+    k
             >     a
             --+
            a = 1
   arg1 = -------------
          k - 1
           --+    k - 1
           >     a
           --+
          a = 1
    1<enter ElementaryFunctionStructurePackage.rmap,18 : 
    arg1 = theMap(EFSTRUC;realElem!0,655)
               k
              --+    k
              >     a
              --+
             a = 1
    arg2 = -------------
           k - 1
            --+    k - 1
            >     a
            --+
           a = 1
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
              k
     arg2 = %C
      3<enter ElementaryFunctionStructurePackage.rmap,18 : 
      arg1 = theMap(EFSTRUC;realElem!0,655)
      arg2 = %C
      3>exit  ElementaryFunctionStructurePackage.rmap,18 : 
      %C
      3<enter ElementaryFunctionStructurePackage.rmap,18 : 
      arg1 = theMap(EFSTRUC;realElem!0,655)
      arg2 = k
      3>exit  ElementaryFunctionStructurePackage.rmap,18 : 
      k
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
       k log(%C)
     %e
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = %C
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     %C
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = a
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     a
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = 1
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     1
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = k
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     k
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
              k - 1
     arg2 = %C
      3<enter ElementaryFunctionStructurePackage.rmap,18 : 
      arg1 = theMap(EFSTRUC;realElem!0,655)
      arg2 = %C
      3>exit  ElementaryFunctionStructurePackage.rmap,18 : 
      %C
      3<enter ElementaryFunctionStructurePackage.rmap,18 : 
      arg1 = theMap(EFSTRUC;realElem!0,655)
      arg2 = k - 1
      3>exit  ElementaryFunctionStructurePackage.rmap,18 : 
      k - 1
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
       (k - 1)log(%C)
     %e
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = %C
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     %C
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = a
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     a
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = 1
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     1
     2<enter ElementaryFunctionStructurePackage.rmap,18 : 
     arg1 = theMap(EFSTRUC;realElem!0,655)
     arg2 = k - 1
     2>exit  ElementaryFunctionStructurePackage.rmap,18 : 
     k - 1
    1>exit  ElementaryFunctionStructurePackage.rmap,18 : 
         k
        --+     k log(a)
        >     %e
        --+
       a = 1
    ----------------------
    k - 1
     --+     (k - 1)log(a)
     >     %e
     --+
    a = 1
   1>exit  ElementaryFunctionStructurePackage.realElementary,23 : 
        k
       --+     k log(a)
       >     %e
       --+
      a = 1
   ----------------------
   k - 1
    --+     (k - 1)log(a)
    >     %e
    --+
   a = 1
   1<enter ElementaryFunctionStructurePackage.rischNormalize,174 : 
                k
               --+     k log(a)
               >     %e
               --+
              a = 1
   arg1 = [----------------------]
           k - 1
            --+     (k - 1)log(a)
            >     %e
            --+
           a = 1
   arg2 = []
    2<enter ElementaryFunctionStructurePackage.rischNormalize,174 : 
                   k
                  --+     k log(a)
                  >     %e
                  --+
                 a = 1
    arg1 = [---------------------------]
            k - 1
             --+     - log(a)  k log(a)
             >     %e        %e
             --+
            a = 1
    arg2 = []
   - log(%C)
 
   >> Error detected within library code:
   Hidden constant detected

(2) -> 

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/2a13f3dc-5f5b-4e0d-85d9-5f2d3c6dc40c%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to