<div dir="ltr"><p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Dear Developers of GiNaC,</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">[0] Thank you very much for developing and maintaining GiNaC,</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">which is a very nice system to write C++ programs for symbolic computation.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">[1] During recent several months, I had a trouble to build ginac-1.8.7</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">on my MacBookPro (Apple Silicon). The configuration and compilation steps</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">succeeded, but the check step failed at two tests as follows:</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">./configure</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">checking for a BSD-compatible install... /Ext/sw/bin/ginstall -c</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Configuration of GiNaC 1.8.7 done. Now type "make".</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">make</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Making all in ginac</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">/Ext/sw/bin/makeinfo --no-split --html ./ginac-examples.texi</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">make check</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Making check in ginac</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_paranoia</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_color</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">FAIL: exam_clifford</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">FAIL: exam_archive</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_structure</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_parser</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">============================================================================</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Testsuite summary for GiNaC 1.8.7</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">============================================================================</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># TOTAL: 61</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># PASS:<span class="gmail-Apple-converted-space">  </span>59</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># SKIP:<span class="gmail-Apple-converted-space">  </span>0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># XFAIL: 0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># FAIL:<span class="gmail-Apple-converted-space">  </span>2</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># XPASS: 0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># ERROR: 0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">============================================================================</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">See check/test-suite.log</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Please report to <a href="mailto:ginac-list@ginac.de">ginac-list@ginac.de</a></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">============================================================================</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">My environment is as follows:</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Hardware: MacBookPro (Apple Silicon,14inch,2023)</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">OS: MacOS 14.6</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Compiler: Xcode 15.4</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">g++ --version</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Apple clang version 15.0.0 (clang-1500.3.9.4)</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Target: arm64-apple-darwin23.6.0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Thread model: posix</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">[2] I have investigated what caused this trouble and found that</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">the phenomenon described in "ginac/hash_seed.h" occurs not only in Win32</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">but also in my MacOS 14.6. typeid(ex.bp).name() returns always correct C string</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">as value but its address varies from a call to another call.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Accordingly, the problem can be fixed as follows:</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">*** ginac/<a href="http://hash_seed.h.org">hash_seed.h.org</a><span class="gmail-Apple-tab-span" style="white-space:pre">      </span>Sun Jan<span class="gmail-Apple-converted-space">  </span>1 03:47:20 2023</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--- ginac/hash_seed.h<span class="gmail-Apple-tab-span" style="white-space:pre">     </span>Tue Jul 30 23:02:36 2024</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">***************</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">*** 8,14 ****</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#include <typeinfo></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#include <cstring></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#include "utils.h"</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">! #ifdef _WIN32</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#define GINAC_HASH_USE_MANGLED_NAME 1</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#endif</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--- 8,14 ----</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#include <typeinfo></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#include <cstring></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#include "utils.h"</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">! #if defined(_WIN32) || defined(__APPLE__)</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#define GINAC_HASH_USE_MANGLED_NAME 1</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"><span class="gmail-Apple-converted-space">  </span>#endif</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">[3] Now, everything is fine.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">make distclean</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">./configure</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">make</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">make check</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">--></span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Making check in ginac</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_paranoia</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_heur_gcd</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_match</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_parser</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_numeric</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_relational</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_powerlaws</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_collect</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_inifcns</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_inifcns_nstdsums</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_inifcns_elliptic</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_differentiation</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_polygcd</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_collect_common_factors</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_normalization</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_sqrfree</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_factor</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_pseries</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_matrices</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_lsolve</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_indexed</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_color</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_clifford</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_archive</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_structure</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_misc</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_pgcd</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_mod_gcd</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_chinrem_gcd</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_function_exvector</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: exam_real_imag</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: check_numeric</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: check_inifcns</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: check_matrices</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: check_lsolve</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: check_cra</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_dennyfliegner</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_gammaseries</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_vandermonde</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_toeplitz</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_A</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_B</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_C</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_D</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_E</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_F</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_G</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_H</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_IJKL</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_M1</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_M2</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_N</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_O</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_P</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_Pprime</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_Q</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_lw_Qprime</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_antipode</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_fateman_expand</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_uvar_gcd</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">PASS: time_parser</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">============================================================================</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Testsuite summary for GiNaC 1.8.7</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">============================================================================</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># TOTAL: 61</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># PASS:<span class="gmail-Apple-converted-space">  </span>61</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># SKIP:<span class="gmail-Apple-converted-space">  </span>0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># XFAIL: 0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># FAIL:<span class="gmail-Apple-converted-space">  </span>0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># XPASS: 0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures"># ERROR: 0</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">sudo make install</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">...</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">[4] There may be other people who run into the same problem as I.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">In that case, please utilize this information.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Finally, GiNaC is a really nice system to write programs</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">for symbolic computation.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Thank you very much for publishing GiNaC to help us.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0);min-height:40px"><span style="font-variant-ligatures:no-common-ligatures"></span><br></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Sincerely yours,</span></p>
<p style="margin:0px;font-stretch:normal;font-size:33px;line-height:normal;font-family:Helvetica;font-size-adjust:none;font-kerning:auto;font-variant-alternates:normal;font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-east-asian:normal;font-feature-settings:normal;color:rgb(0,0,0)"><span style="font-variant-ligatures:no-common-ligatures">Satoshi Adachi</span></p>
<br class="gmail-Apple-interchange-newline"></div>