}^{4}+713525750x_{0}^{6}x_{1}^{2}x_{2}^{4}-\\
784988540x_{0}^{4}x_{1}^{4}x_{2}^{4}-703298400x_{0}^{2}x_{1}^{6}x_{2}^{4}+914535936x_{1}^{8}x_{2}^{4}+\\
232142400x_{0}^{6}x_{2}^{6}-539359800x_{0}^{4}x_{1}^{2}x_{2}^{6}-507564960x_{0}^{2}x_{1}^{4}x_{2}^{6}-\\
598014720x_{1}^{6}x_{2}^{6}-197686720x_{0}^{4}x_{2}^{8}+58816800x_{0}^{2}x_{1}^{2}x_{2}^{8}+119161344x_{1}^{4}x_{2}^{8}+\\
80183040x_{0}^{2}x_{2}^{10}+32722560x_{1}^{2}x_{2}^{10}-12753408x_{2}^{12}
\end{array}
\right)$$ You can see an illustration in figure \[fig:ex08\_my\_quartic\].

![A quartic (red) inspired by Klein’s quartic and the dual curve[]{data-label="fig:ex08_my_quartic"}](ex08_my_quartic.jpg){width="4cm"}

Appendix
========

The code for the Steiner surface example is:

    /////////////////////////////////////////////
    // This procedure calculates the dual ideal of the homogeneous ideal id
    // The output is a homogeneous ideal in the same ring
    /////////////////////////////////////////////
    proc dual(ideal I) {
      def R0=basering;
      if(npars(R0)>0)    {ERROR("Use a base ring without parameters!");};
      if(ord_test(R0)!=1){ERROR("The base ring must have a global ordering!");};
      if(homog(I)!=1)    {ERROR("The input ideal must be homogeneous!");};
    // get some information about the base ring and the input ideal
      int n=nvars(R
} ^{4}+713525750x_{0}^{6}x_{1}^{2}x_{2}^{4}-\\ 
 784988540x_{0}^{4}x_{1}^{4}x_{2}^{4}-703298400x_{0}^{2}x_{1}^{6}x_{2}^{4}+914535936x_{1}^{8}x_{2}^{4}+\\ 
 232142400x_{0}^{6}x_{2}^{6}-539359800x_{0}^{4}x_{1}^{2}x_{2}^{6}-507564960x_{0}^{2}x_{1}^{4}x_{2}^{6}-\\ 
 598014720x_{1}^{6}x_{2}^{6}-197686720x_{0}^{4}x_{2}^{8}+58816800x_{0}^{2}x_{1}^{2}x_{2}^{8}+119161344x_{1}^{4}x_{2}^{8}+\\ 
 80183040x_{0}^{2}x_{2}^{10}+32722560x_{1}^{2}x_{2}^{10}-12753408x_{2}^{12 } 
 \end{array } 
 \right)$$ You can see an illustration in figure \[fig: ex08\_my\_quartic\ ]. 

! [ A quartic (red) prompt by Klein ’s quartic and the double curve[]{data - label="fig: ex08_my_quartic"}](ex08_my_quartic.jpg){width="4 cm " } 

 Appendix 
 = = = = = = = = 

 The code for the Steiner surface example is: 

     ///////////////////////////////////////////// 
     // This routine calculates the dual ideal of the homogeneous ideal i d 
     // The output signal is a homogeneous ideal in the like ring 
     ///////////////////////////////////////////// 
     proc dual(ideal I) { 
       def R0 = basering; 
       if(npars(R0)>0)     { ERROR("Use a base ring without parameters! "); }; 
       if(ord_test(R0)!=1){ERROR("The base band must have a global order! "); }; 
       if(homog(I)!=1)     { ERROR("The input ideal must be homogeneous! "); }; 
     // get some information about the base ring and the input ideal 
       int n = nvars(R
}^{4}+713525750x_{0}^{6}x_{1}^{2}x_{2}^{4}-\\
784988540d_{0}^{4}x_{1}^{4}x_{2}^{4}-703298400x_{0}^{2}x_{1}^{6}x_{2}^{4}+914535936x_{1}^{8}x_{2}^{4}+\\
232142400x_{0}^{6}x_{2}^{6}-539359800x_{0}^{4}x_{1}^{2}x_{2}^{6}-507564960x_{0}^{2}x_{1}^{4}x_{2}^{6}-\\
598014720x_{1}^{6}x_{2}^{6}-197686720x_{0}^{4}x_{2}^{8}+58816800x_{0}^{2}x_{1}^{2}x_{2}^{8}+119161344x_{1}^{4}w_{2}^{8}+\\
80183040x_{0}^{2}x_{2}^{10}+32722560x_{1}^{2}x_{2}^{10}-12753408x_{2}^{12}
\end{array}
\riyyt)$$ You can sse an iluustration in figure \[fig:ex08\_my\_euqrtic\].

![Q quartic (red) inspired by Klein’d quartix anv the dual curve[]{vzta-label="fig:ex08_jn_quarcir"}](ex08_my_quartic.jpg){eidth="4cm"}

Appandix
========

The code xof che Steiner surface example is:

    /////////////////////////////////////////////
    // This pgocedure calcujatex the dual ideal of the homogeneous idezl id
    // The output is a homogeneous ideal in the same ring
    /////////////////////////////////////////////
    oroc dual(idgzl Y) {
      def R0=casering;
      if(npars(R0)>0)    {ERROR("Use a base ring withoug parcmeters!");};
      uf(ogg_test(R0)!=1){ERROR("Vhe bafe ring must have a clobal prdering!");};
      lf(hommg(I)!=1)    {ERROR("The input idxal must be homogenejus!");};
    // gat some information avout jhe bdse fung ans vhe input idxal
      inf n=nvars(R
}^{4}+713525750x_{0}^{6}x_{1}^{2}x_{2}^{4}-\\ 784988540x_{0}^{4}x_{1}^{4}x_{2}^{4}-703298400x_{0}^{2}x_{1}^{6}x_{2}^{4}+914535936x_{1}^{8}x_{2}^{4}+\\ 232142400x_{0}^{6}x_{2}^{6}-539359800x_{0}^{4}x_{1}^{2}x_{2}^{6}-507564960x_{0}^{2}x_{1}^{4}x_{2}^{6}-\\ 598014720x_{1}^{6}x_{2}^{6}-197686720x_{0}^{4}x_{2}^{8}+58816800x_{0}^{2}x_{1}^{2}x_{2}^{8}+119161344x_{1}^{4}x_{2}^{8}+\\ 80183040x_{0}^{2}x_{2}^{10}+32722560x_{1}^{2}x_{2}^{10}-12753408x_{2}^{12} \end{array} \right)$$ see illustration in \[fig:ex08\_my\_quartic\]. ![A quartic and dual curve[]{data-label="fig:ex08_my_quartic"}](ex08_my_quartic.jpg){width="4cm"} Appendix The code for Steiner surface example is: ///////////////////////////////////////////// // procedure calculates the dual ideal of the homogeneous ideal id // The output a homogeneous ideal in the same ring ///////////////////////////////////////////// proc dual(ideal I) { def if(npars(R0)>0) a ring parameters!");}; if(ord_test(R0)!=1){ERROR("The base ring must have a global ordering!");}; if(homog(I)!=1) {ERROR("The input ideal must be homogeneous!");}; get some information about the base ring and input ideal int n=nvars(R
}^{4}+713525750x_{0}^{6}x_{1}^{2}x_{2}^{4}-\\
784988540x_{0}^{4}x_{1}^{4}x_{2}^{4}-703298400x_{0}^{2}x_{1}^{6}x_{2}^{4}+914535936x_{1}^{8}x_{2}^{4}+\\
232142400x_{0}^{6}x_{2}^{6}-539359800x_{0}^{4}x_{1}^{2}x_{2}^{6}-507564960x_{0}^{2}x_{1}^{4}x_{2}^{6}-\\
598014720x_{1}^{6}x_{2}^{6}-197686720x_{0}^{4}x_{2}^{8}+58816800x_{0}^{2}x_{1}^{2}X_{2}^{8}+119161344x_{1}^{4}x_{2}^{8}+\\
80183040x_{0}^{2}x_{2}^{10}+32722560x_{1}^{2}x_{2}^{10}-12753408x_{2}^{12}
\enD{arraY}
\riGht)$$ yoU can See aN illustration iN FiguRe \[fig:ex08\_my\_quartic\].

![A quartIc (red) InSPireD By klein’S quartiC AnD THe dUaL cUrvE[]{dATa-Label="Fig:Ex08_my_quaRtic"}](ex08_my_quArtIc.Jpg){width="4cm"}

ApPEnDix
========

The code For The Steiner suRfaCe examPlE is:

    /////////////////////////////////////////////
    // tHis prOceDure cAlculaTEs the dUal ideal oF tHE homogENeous idEAL iD
    // The Output is a homogeneOUs IDeal in the same rIng
    /////////////////////////////////////////////
    proC dUAl(IDEal i) {
      deF R0=basering;
      If(Npars(r0)>0)    {eRROR("UsE A bASE RinG Without parameTers!");};
      if(ord_teST(R0)!=1){ErROR("ThE bAse RIng musT have A gLObaL ordering!");};
      if(HomoG(I)!=1)    {ERROR("ThE input IDeal musT Be homogEneous!");};
    // Get SomE infORmAtIon AbOUt tHE bAse RIng And the inPuT iDeal
      iNt n=nVARS(r
}^{4}+713525750x_{0}^{6}x_ {1}^{2}x_{ 2}^{4 }-\ \
7 84 9885 40x_ {0}^{4}x_{1}^{ 4 }x_{ 2}^{4}-703298400x_{0}^ {2}x_ {1 } ^{6} x _{ 2}^{4 }+91453 5 93 6 x _{1 }^ {8 }x_ {2 } ^{ 4}+\\ 
23 2142400 x_{0}^{6}x _{2 }^ {6}-53935980 0 x_ {0}^{4}x_{ 1}^ {2}x_{2}^{6} -50 756496 0x _{0 } ^{2}x _{1 }^{4} x_{2}^ { 6}-\\598014720 x_ { 1}^{6} x _{2}^{6 } - 19 7686 720x_{0}^{4}x_{2} ^ {8 } +58816800x_{0} ^{2}x_ {1 } ^{ 2 } x_{ 2}^ {8}+119161 34 4x_{1 } ^{4}x_{ 2 }^ { 8 } +\\ 80183040x_{0} ^{2}x_{2}^{ 1 0}+ 327225 60 x_{ 1 }^{2}x _{2}^ {1 0 }-1 2753408x_{2 }^{1 2}
\end{a rray}\ right)$ $  You ca n seeanill ustr a ti on  in  f i gur e  \ [fi g :ex 08\_my\_ qu ar tic\] .

! [ A q uart ic(red ) ins pired by Klei n’s  qua r tic  andthe d ualcu rve[] {data- label =" fig:ex08_my_qua rtic "}](ex08_ my_ qu art ic .jpg) { width= "4c m"} 

Appen dix
=== = === =T h ecode for the Stein er s ur face exa mple i s :
  ////// // /// //// / / ///// //// / // //////// ////// / /   // Th is  proce du recal culat e s th e dual  ideal o f the homogeneous id e al id
    //T he o ut p ut i s a  homogeneou s id e al i n th e  s ame ring    / // / // / /////////////////// // ////// ///// //////
    pr oc dual(id e a l  I) {
    d ef R0=basering;
    if(npars(R 0 )>0)   {ERRO R("Use a  base rin g withoutpar ame ter s!" ) ; }; 
      if(ord _ t est( R0 )!=1){E RRO R("Thebas e r ing  mu st  have a g lobal or de ri ng !" );} ;
    if(hom og (I) != 1)   {E R ROR("T he in putid ea l  mu st be h o mo g e neou s! ") ;};   / / get  som e  in formati on aboutthe base  r in g and t he input idea l      intn= nva rs(R
}^{4}+713525750x_{0}^{6}x_{1}^{2}x_{2}^{4}-\\
784988540x_{0}^{4}x_{1}^{4}x_{2}^{4}-703298400x_{0}^{2}x_{1}^{6}x_{2}^{4}+914535936x_{1}^{8}x_{2}^{4}+\\
232142400x_{0}^{6}x_{2}^{6}-539359800x_{0}^{4}x_{1}^{2}x_{2}^{6}-507564960x_{0}^{2}x_{1}^{4}x_{2}^{6}-\\
598014720x_{1}^{6}x_{2}^{6}-197686720x_{0}^{4}x_{2}^{8}+58816800x_{0}^{2}x_{1}^{2}x_{2}^{8}+119161344x_{1}^{4}x_{2}^{8}+\\
80183040x_{0}^{2}x_{2}^{10}+32722560x_{1}^{2}x_{2}^{10}-12753408x_{2}^{12}
\end{array}
\right)$$ You_can see_an illustration in figure_\[fig:ex08\_my\_quartic\].

![A quartic_(red)_inspired by_Klein’s_quartic and the_dual curve[]{data-label="fig:ex08_my_quartic"}](ex08_my_quartic.jpg){width="4cm"}

Appendix
========

The code_for the Steiner surface_example is:

 __ /////////////////////////////////////////////
    // This procedure calculates the dual ideal of the_homogeneous_ideal id
___ // The output is_a homogeneous ideal in the_same ring
_   /////////////////////////////////////////////
    proc_dual(ideal_I) {
 _    def R0=basering;
   _  if(npars(R0)>0)   _{ERROR("Use a base_ring_without_parameters!");};
   _  if(ord_test(R0)!=1){ERROR("The base ring must_have a global ordering!");};
  _   if(homog(I)!=1)   _{ERROR("The input ideal must be homogeneous!");};
_   // get_some information_about the base ring and_the input ideal
_ _  _int n=nvars(R