<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=gb2312">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 10">
<meta name=Originator content="Microsoft Word 10">
<link rel=File-List href="cid:filelist.xml@01C6A154.A8E89F20">
<!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:DoNotRelyOnCSS/>
</o:OfficeDocumentSettings>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:WordDocument>
<w:SpellingState>Clean</w:SpellingState>
<w:GrammarState>Clean</w:GrammarState>
<w:DocumentKind>DocumentEmail</w:DocumentKind>
<w:EnvelopeVis/>
<w:PunctuationKerning/>
<w:DrawingGridHorizontalSpacing>5.25 磅</w:DrawingGridHorizontalSpacing>
<w:DrawingGridVerticalSpacing>7.8 磅</w:DrawingGridVerticalSpacing>
<w:DisplayHorizontalDrawingGridEvery>0</w:DisplayHorizontalDrawingGridEvery>
<w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery>
<w:Compatibility>
<w:SpaceForUL/>
<w:BalanceSingleByteDoubleByteWidth/>
<w:DoNotLeaveBackslashAlone/>
<w:ULTrailSpace/>
<w:DoNotExpandShiftReturn/>
<w:AdjustLineHeightInTable/>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
<w:UseFELayout/>
</w:Compatibility>
<w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
</w:WordDocument>
</xml><![endif]-->
<style>
<!--
/* Font Definitions */
@font-face
{font-family:宋体;
panose-1:2 1 6 0 3 1 1 1 1 1;
mso-font-alt:SimSun;
mso-font-charset:134;
mso-generic-font-family:auto;
mso-font-pitch:variable;
mso-font-signature:3 135135232 16 0 262145 0;}
@font-face
{font-family:"\@宋体";
panose-1:2 1 6 0 3 1 1 1 1 1;
mso-font-charset:134;
mso-generic-font-family:auto;
mso-font-pitch:variable;
mso-font-signature:3 135135232 16 0 262145 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
text-justify:inter-ideograph;
mso-pagination:none;
font-size:10.5pt;
mso-bidi-font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:宋体;
mso-font-kerning:1.0pt;}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;
text-underline:single;}
span.EmailStyle17
{mso-style-type:personal-compose;
mso-style-noshow:yes;
mso-ansi-font-size:9.0pt;
mso-bidi-font-size:10.0pt;
font-family:Arial;
mso-ascii-font-family:Arial;
mso-fareast-font-family:宋体;
mso-hansi-font-family:Arial;
mso-bidi-font-family:Arial;
color:windowtext;}
span.SpellE
{mso-style-name:"";
mso-spl-e:yes;}
span.GramE
{mso-style-name:"";
mso-gram-e:yes;}
/* Page Definitions */
@page
{mso-page-border-surround-header:no;
mso-page-border-surround-footer:no;}
@page Section1
{size:595.3pt 841.9pt;
margin:72.0pt 89.85pt 72.0pt 89.85pt;
mso-header-margin:42.55pt;
mso-footer-margin:49.6pt;
mso-paper-source:0;
layout-grid:15.6pt;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:普通表格;
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";}
</style>
<![endif]-->
</head>
<body lang=ZH-CN link=blue vlink=purple style='tab-interval:21.0pt;text-justify-trim:
punctuation'>
<div class=Section1 style='layout-grid:15.6pt'>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>Hello everyone:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>I am trying to add a new function which would be used
for propositional reasoning.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>I got some information in <span class=SpellE>GiNaC’s</span>
tutorial, included the source file “</span></font><font size=3 face=Arial><span
lang=EN-US style='font-size:12.0pt;font-family:Arial;mso-font-kerning:0pt'>inifcns.cpp”
and<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial;mso-font-kerning:0pt'>“inifcns.h” which are mentioned in
</span></font><font size=3 face=Arial><span lang=EN-US style='font-size:12.0pt;
font-family:Arial'>tutorial.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>Now, my question is how to compile the new files.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>For example, the <span class=GramE>header file</span>
<<span class=SpellE>xxx.h</span> ><o:p></o:p></span></font></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>#include <<span class=SpellE>ginac/ginac.h</span>><o:p></o:p></span></font></i></p>
<p class=MsoNormal><span class=GramE><i style='mso-bidi-font-style:normal'><font
size=3 face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>using</span></font></i></span><i
style='mso-bidi-font-style:normal'><font size=3 face=Arial><span lang=EN-US
style='font-size:12.0pt;font-family:Arial;font-style:italic;mso-bidi-font-style:
normal'> namespace std;<o:p></o:p></span></font></i></p>
<p class=MsoNormal><span class=GramE><i style='mso-bidi-font-style:normal'><font
size=3 face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>namespace</span></font></i></span><i
style='mso-bidi-font-style:normal'><font size=3 face=Arial><span lang=EN-US
style='font-size:12.0pt;font-family:Arial;font-style:italic;mso-bidi-font-style:
normal'> <span class=SpellE>GiNaC</span> {<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>/* a test function*/<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>DECLARE_FUNCTION_<span
class=GramE>2P(</span><span class=SpellE>myfcn</span>)<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>}<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>#<span class=SpellE>endif</span><o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'><o:p> </o:p></span></font></i></p>
<p class=MsoNormal><span class=GramE><font size=3 face=Arial><span lang=EN-US
style='font-size:12.0pt;font-family:Arial'>and</span></font></span><font
size=3 face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial'> the
source file <<span class=SpellE>xxx.cxx</span>><o:p></o:p></span></font></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>#include "<span
class=SpellE>xxx.h</span>"<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>#include "<span
class=SpellE>ginac.h</span>"<o:p></o:p></span></font></i></p>
<p class=MsoNormal><span class=GramE><i style='mso-bidi-font-style:normal'><font
size=3 face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>namespace</span></font></i></span><i
style='mso-bidi-font-style:normal'><font size=3 face=Arial><span lang=EN-US
style='font-size:12.0pt;font-family:Arial;font-style:italic;mso-bidi-font-style:
normal'> <span class=SpellE>GiNaC</span> {<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>REGISTER_<span class=GramE>FUNCTION(</span><span
class=SpellE>myfcn</span>, dummy())<o:p></o:p></span></font></i></p>
<p class=MsoNormal><i style='mso-bidi-font-style:normal'><font size=3
face=Arial><span lang=EN-US style='font-size:12.0pt;font-family:Arial;
font-style:italic;mso-bidi-font-style:normal'>}<o:p></o:p></span></font></i></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>I don’t know the next step. Can you give me a whole
process demo?<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span lang=EN-US style='font-size:
12.0pt;font-family:Arial'>Please help me. Thank you very much. <o:p></o:p></span></font></p>
</div>
</body>
</html>