Changeset 2cdfc8 in git


Ignore:
Timestamp:
Mar 22, 2011, 10:33:58 AM (13 years ago)
Author:
Frank Seelisch <seelisch@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
21ee926ee8ae7b87879f1075406bc488cb810470
Parents:
a41cdb0b52788c0c83732f7ac9d14650d4908bfd
Message:
changed optional param of paraplanecurve to string, extended doc for return value (Burcin's suggestions)

git-svn-id: file:///usr/local/Singular/svn/trunk@14029 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/paraplanecurves.lib

    ra41cdb r2cdfc8  
    228228///////////////////////////////////////////////////////////////////////////////
    229229proc paraPlaneCurve(poly f, list #)
    230 "USAGE:  paraPlaneCurve(f [, c]); f poly , c optional integer@*
    231          optional integer c can be: @*
    232          1: compute integral basis via normalization. @*
    233          2: make local analysis of singularities first and apply normalization
    234             separately. @*
     230"USAGE:  paraPlaneCurve(f [, s]); f poly , s optional string@*
     231         optional string s can be: @*
     232         'normal': compute integral basis via normalization. @*
     233         'local':  make local analysis of singularities first and apply
     234                   normalization separately. @*
    235235         The default is 2. @*
    236236ASSUME:  The basering must be a polynomial ring in three variables, say x,y,z,
     
    240240         (see @ref{genus}). @*
    241241         These conditions will be checked automatically.
    242 RETURN:  ring with an ideal PARA.
     242RETURN:  ring with an ideal PARA which contains a rational parametrization of
     243         the rational plane curve given by f; the ground field of the returned
     244         polynomial ring is either Q or some algebraic extension Q(a); PARA
     245         consists of three generators that parametrize the three coordinates
     246         of the rational curve
    243247THEORY:  After a first step, realized by a projective automorphism in the
    244248         procedure adjointIdeal, C satisfies: @*
     
    272276"
    273277{
    274   if(size(#)==0) {int choice = 2;} else {int choice = #[1];}
     278  int choice = 2;
     279  if (size(#) != 0)
     280  {
     281    if (typeof(#[1]) == "string")
     282    {
     283      string s = string(#[1]);
     284      if (s == "normal") { choice = 1; }
     285      else
     286      {
     287        if (s == "local") { choice = 2; }
     288        else { ERROR("expected optional argument to be either"
     289                   + " 'local' or 'normal'"); }
     290      }
     291    }
     292    else { ERROR("expected optional argument to be a string"); }
     293  }
    275294  def Roriginal = basering;
    276295  /*checking assumptions and handling the conic case*/
Note: See TracChangeset for help on using the changeset viewer.