<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:Arial;
color:windowtext;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>I have found the archiving procedure to behave strangely and
was wondering if anyone has also seen this or if they know the solution. I am
using GiNaC-1.2.1 with cln-1.1.7. This is all compiled with cygwin.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>What happens is the following. I have a database that I wish
to store both the index and the referenced expression in the archive. For small
archives the numerical factors on my expressions remain rational and the sqrt’s
remain un-evalf()’d. Unfortunately, it seems that when my archive gets
large the rational expressions and the sqrt()’s evaluate to real numbers.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>I have done the following to confirm all of this. My
software is using the same algorithm with no code changed but using two
different models. The models dictate the size of the database. When I save and
load with the smaller model, all the rational and sqrts are returned properly.
When I do so with the larger model, they all return as real numbers. I have
used a viewgar-like program to confirm that they have indeed been saved as real
values, rather than the rationals/sqrts for the larger model, but the
expressions I give to archive_ex have not been evalf’d. Can anyone
explain why this may happen or if this is intentional in the design (speed of
archiving for example)? It seems to occur between creating the archive and
saving it to a file. <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>It isn’t vital to my software, just an aesthetic thing
that would be useful for users. Just as an idea (since I don’t really
know how to ‘reproduce’ this behaviour) the gar file for two models
that work properly are 25KB and 205KB but for the one that doesn’t work
right it is 1.1 MB.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Thanks for any help!<o:p></o:p></span></font></p>
</div>
</body>
</html>