Changeset 3321


Ignore:
Timestamp:
Sep 12, 2014 5:50:39 AM (6 years ago)
Author:
bradbell
Message:

Add the following cases to assert_arg_before_result:

  1. 0 arguments
  2. 2 arguments
  3. Usr*Op operators
Location:
trunk/cppad/local
Files:
9 edited

Legend:

Unmodified
Added
Removed
  • trunk/cppad/local/add_op.hpp

    r3301 r3321  
    4848        CPPAD_ASSERT_UNKNOWN( NumArg(AddvvOp) == 2 );
    4949        CPPAD_ASSERT_UNKNOWN( NumRes(AddvvOp) == 1 );
    50         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    51         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    5250        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    5351        CPPAD_ASSERT_UNKNOWN( p <= q  );
     
    8886        CPPAD_ASSERT_UNKNOWN( NumArg(AddvvOp) == 2 );
    8987        CPPAD_ASSERT_UNKNOWN( NumRes(AddvvOp) == 1 );
    90         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    91         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    9288        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    9389        CPPAD_ASSERT_UNKNOWN( 0 < q  );
     
    129125        CPPAD_ASSERT_UNKNOWN( NumArg(AddvvOp) == 2 );
    130126        CPPAD_ASSERT_UNKNOWN( NumRes(AddvvOp) == 1 );
    131         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    132         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    133127
    134128        // Taylor coefficients corresponding to arguments and result
     
    168162        CPPAD_ASSERT_UNKNOWN( NumArg(AddvvOp) == 2 );
    169163        CPPAD_ASSERT_UNKNOWN( NumRes(AddvvOp) == 1 );
    170         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    171         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    172164        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    173165        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    213205        CPPAD_ASSERT_UNKNOWN( NumArg(AddpvOp) == 2 );
    214206        CPPAD_ASSERT_UNKNOWN( NumRes(AddpvOp) == 1 );
    215         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    216207        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    217208        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    255246        CPPAD_ASSERT_UNKNOWN( NumArg(AddpvOp) == 2 );
    256247        CPPAD_ASSERT_UNKNOWN( NumRes(AddpvOp) == 1 );
    257         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    258248        CPPAD_ASSERT_UNKNOWN( 0 < q );
    259249        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    292282        CPPAD_ASSERT_UNKNOWN( NumArg(AddpvOp) == 2 );
    293283        CPPAD_ASSERT_UNKNOWN( NumRes(AddpvOp) == 1 );
    294         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    295284
    296285        // Paraemter value
     
    331320        CPPAD_ASSERT_UNKNOWN( NumArg(AddvvOp) == 2 );
    332321        CPPAD_ASSERT_UNKNOWN( NumRes(AddvvOp) == 1 );
    333         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    334322        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    335323        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
  • trunk/cppad/local/discrete_op.hpp

    r3301 r3321  
    8585\li NumArg(op) == 2
    8686\li NumRes(op) == 1
    87 \li arg[1] < i_z
    8887\li q < cap_order
    8988\li 0 < r
     
    102101        CPPAD_ASSERT_UNKNOWN( NumArg(DisOp) == 2 );
    103102        CPPAD_ASSERT_UNKNOWN( NumRes(DisOp) == 1 );
    104         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    105103        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    106104        CPPAD_ASSERT_UNKNOWN( 0 < r );
  • trunk/cppad/local/div_op.hpp

    r3301 r3321  
    4848        CPPAD_ASSERT_UNKNOWN( NumArg(DivvvOp) == 2 );
    4949        CPPAD_ASSERT_UNKNOWN( NumRes(DivvvOp) == 1 );
    50         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    51         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    5250        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    5351        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    9694        CPPAD_ASSERT_UNKNOWN( NumArg(DivvvOp) == 2 );
    9795        CPPAD_ASSERT_UNKNOWN( NumRes(DivvvOp) == 1 );
    98         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    99         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    10096        CPPAD_ASSERT_UNKNOWN( 0 < q );
    10197        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    145141        CPPAD_ASSERT_UNKNOWN( NumArg(DivvvOp) == 2 );
    146142        CPPAD_ASSERT_UNKNOWN( NumRes(DivvvOp) == 1 );
    147         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    148         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    149143
    150144        // Taylor coefficients corresponding to arguments and result
     
    184178        CPPAD_ASSERT_UNKNOWN( NumArg(DivvvOp) == 2 );
    185179        CPPAD_ASSERT_UNKNOWN( NumRes(DivvvOp) == 1 );
    186         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    187         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    188180        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    189181        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    245237        CPPAD_ASSERT_UNKNOWN( NumArg(DivpvOp) == 2 );
    246238        CPPAD_ASSERT_UNKNOWN( NumRes(DivpvOp) == 1 );
    247         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    248239        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    249240        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    296287        CPPAD_ASSERT_UNKNOWN( NumArg(DivpvOp) == 2 );
    297288        CPPAD_ASSERT_UNKNOWN( NumRes(DivpvOp) == 1 );
    298         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    299289        CPPAD_ASSERT_UNKNOWN( 0 < q );
    300290        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    340330        CPPAD_ASSERT_UNKNOWN( NumArg(DivpvOp) == 2 );
    341331        CPPAD_ASSERT_UNKNOWN( NumRes(DivpvOp) == 1 );
    342         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    343332
    344333        // Paraemter value
     
    379368        CPPAD_ASSERT_UNKNOWN( NumArg(DivvvOp) == 2 );
    380369        CPPAD_ASSERT_UNKNOWN( NumRes(DivvvOp) == 1 );
    381         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    382370        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    383371        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    438426        CPPAD_ASSERT_UNKNOWN( NumArg(DivvpOp) == 2 );
    439427        CPPAD_ASSERT_UNKNOWN( NumRes(DivvpOp) == 1 );
    440         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    441428        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    442429        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    480467        CPPAD_ASSERT_UNKNOWN( NumArg(DivvpOp) == 2 );
    481468        CPPAD_ASSERT_UNKNOWN( NumRes(DivvpOp) == 1 );
    482         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    483469        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    484470        CPPAD_ASSERT_UNKNOWN( 0 < q  );
     
    524510        CPPAD_ASSERT_UNKNOWN( NumArg(DivvpOp) == 2 );
    525511        CPPAD_ASSERT_UNKNOWN( NumRes(DivvpOp) == 1 );
    526         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    527512
    528513        // Parameter value
     
    563548        CPPAD_ASSERT_UNKNOWN( NumArg(DivvpOp) == 2 );
    564549        CPPAD_ASSERT_UNKNOWN( NumRes(DivvpOp) == 1 );
    565         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    566550        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    567551        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
  • trunk/cppad/local/forward2sweep.hpp

    r3301 r3321  
    231231                CPPAD_ASSERT_UNKNOWN( (i_op <= n) | (op != InvOp) ); 
    232232                CPPAD_ASSERT_UNKNOWN( i_op < play->num_op_rec() );
     233                CPPAD_ASSERT_ARG_BEFORE_RESULT(op, arg, i_var);
    233234
    234235                // check if we are skipping this operation
  • trunk/cppad/local/mul_op.hpp

    r3301 r3321  
    4848        CPPAD_ASSERT_UNKNOWN( NumArg(MulvvOp) == 2 );
    4949        CPPAD_ASSERT_UNKNOWN( NumRes(MulvvOp) == 1 );
    50         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    51         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    5250        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    5351        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    9290        CPPAD_ASSERT_UNKNOWN( NumArg(MulvvOp) == 2 );
    9391        CPPAD_ASSERT_UNKNOWN( NumRes(MulvvOp) == 1 );
    94         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    95         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    9692        CPPAD_ASSERT_UNKNOWN( 0 < q );
    9793        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    137133        CPPAD_ASSERT_UNKNOWN( NumArg(MulvvOp) == 2 );
    138134        CPPAD_ASSERT_UNKNOWN( NumRes(MulvvOp) == 1 );
    139         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    140         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    141135
    142136        // Taylor coefficients corresponding to arguments and result
     
    176170        CPPAD_ASSERT_UNKNOWN( NumArg(MulvvOp) == 2 );
    177171        CPPAD_ASSERT_UNKNOWN( NumRes(MulvvOp) == 1 );
    178         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    179         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    180172        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    181173        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    230222        CPPAD_ASSERT_UNKNOWN( NumArg(MulpvOp) == 2 );
    231223        CPPAD_ASSERT_UNKNOWN( NumRes(MulpvOp) == 1 );
    232         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    233224        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    234225        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    270261        CPPAD_ASSERT_UNKNOWN( NumArg(MulpvOp) == 2 );
    271262        CPPAD_ASSERT_UNKNOWN( NumRes(MulpvOp) == 1 );
    272         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    273263        CPPAD_ASSERT_UNKNOWN( 0 < q );
    274264        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    310300        CPPAD_ASSERT_UNKNOWN( NumArg(MulpvOp) == 2 );
    311301        CPPAD_ASSERT_UNKNOWN( NumRes(MulpvOp) == 1 );
    312         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    313302
    314303        // Paraemter value
     
    349338        CPPAD_ASSERT_UNKNOWN( NumArg(MulvvOp) == 2 );
    350339        CPPAD_ASSERT_UNKNOWN( NumRes(MulvvOp) == 1 );
    351         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    352340        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    353341        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
  • trunk/cppad/local/op_code.hpp

    r3320 r3321  
    798798        switch( op )
    799799        {
     800                // 0 arguments
     801                case CSkipOp:
     802                case CSumOp:
     803                case EndOp:
     804                case InvOp:
     805                break;
     806                // ------------------------------------------------------------------
     807
     808                // 1 argument , 1 result
    800809                case AbsOp:
    801810                case ExpOp:
     
    807816                break;
    808817
     818                // 1 argument, 2 results
    809819                case AcosOp:
    810820                case AsinOp:
     
    818828                CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) + 1 < result );
    819829                break;
     830                // ------------------------------------------------------------------
     831
     832                // 2 arguments (both variables), 1 results
     833                case AddvvOp:
     834                case DivvvOp:
     835                case MulvvOp:
     836                case SubvvOp:
     837                CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < result );
     838                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < result );
     839                break;
     840
     841                // 2 arguments (first variables), 1 results
     842                case DivvpOp:
     843                case SubvpOp:
     844                CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < result );
     845                break;
     846
     847                // 2 arguments (second variables), 1 results
     848                case AddpvOp:
     849                case DisOp:
     850                case DivpvOp:
     851                case MulpvOp:
     852                case SubpvOp:
     853                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < result );
     854                break;
     855
     856                // 2 arguments (both variables), 3 results
     857                case PowvvOp:
     858                CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) + 2 < result );
     859                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) + 2 < result );
     860                break;
     861
     862                // 2 arguments (first variable), 3 results
     863                case PowvpOp:
     864                CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) + 2 < result );
     865                break;
     866
     867                // 2 arguments (second variable), 3 results
     868                case PowpvOp:
     869                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) + 2 < result );
     870                break;
     871                // ------------------------------------------------------------------
     872
     873                // These cases are executed by and checked during sweep routines
     874                case UsrapOp:
     875                case UsravOp:
     876                case UsrrpOp:
     877                case UsrrvOp:
     878                break;
    820879
    821880                default:
  • trunk/cppad/local/pow_op.hpp

    r3301 r3321  
    4747        CPPAD_ASSERT_UNKNOWN( NumArg(PowvvOp) == 2 );
    4848        CPPAD_ASSERT_UNKNOWN( NumRes(PowvvOp) == 3 );
    49         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    50         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    5149        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    5250        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    104102        CPPAD_ASSERT_UNKNOWN( NumArg(PowvvOp) == 2 );
    105103        CPPAD_ASSERT_UNKNOWN( NumRes(PowvvOp) == 3 );
    106         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    107104        CPPAD_ASSERT_UNKNOWN( 0 < q );
    108105        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    148145        CPPAD_ASSERT_UNKNOWN( NumArg(PowvvOp) == 2 );
    149146        CPPAD_ASSERT_UNKNOWN( NumRes(PowvvOp) == 3 );
    150         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    151         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    152147
    153148        // Taylor coefficients corresponding to arguments and result
     
    195190        CPPAD_ASSERT_UNKNOWN( NumArg(PowvvOp) == 2 );
    196191        CPPAD_ASSERT_UNKNOWN( NumRes(PowvvOp) == 3 );
    197         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    198         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    199192        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    200193        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    249242        CPPAD_ASSERT_UNKNOWN( NumArg(PowpvOp) == 2 );
    250243        CPPAD_ASSERT_UNKNOWN( NumRes(PowpvOp) == 3 );
    251         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    252244        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    253245        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    315307        CPPAD_ASSERT_UNKNOWN( NumArg(PowpvOp) == 2 );
    316308        CPPAD_ASSERT_UNKNOWN( NumRes(PowpvOp) == 3 );
    317         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    318309        CPPAD_ASSERT_UNKNOWN( 0 < q );
    319310        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    368359        CPPAD_ASSERT_UNKNOWN( NumArg(PowpvOp) == 2 );
    369360        CPPAD_ASSERT_UNKNOWN( NumRes(PowpvOp) == 3 );
    370         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    371361
    372362        // Paraemter value
     
    420410        CPPAD_ASSERT_UNKNOWN( NumArg(PowvvOp) == 2 );
    421411        CPPAD_ASSERT_UNKNOWN( NumRes(PowvvOp) == 3 );
    422         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    423412        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    424413        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    472461        CPPAD_ASSERT_UNKNOWN( NumArg(PowvpOp) == 2 );
    473462        CPPAD_ASSERT_UNKNOWN( NumRes(PowvpOp) == 3 );
    474         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    475463        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    476464        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    526514        CPPAD_ASSERT_UNKNOWN( NumArg(PowvpOp) == 2 );
    527515        CPPAD_ASSERT_UNKNOWN( NumRes(PowvpOp) == 3 );
    528         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    529516        CPPAD_ASSERT_UNKNOWN( 0 < q );
    530517        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    570557        CPPAD_ASSERT_UNKNOWN( NumArg(PowvpOp) == 2 );
    571558        CPPAD_ASSERT_UNKNOWN( NumRes(PowvpOp) == 3 );
    572         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    573559
    574560        // Paraemter value
     
    622608        CPPAD_ASSERT_UNKNOWN( NumArg(PowvpOp) == 2 );
    623609        CPPAD_ASSERT_UNKNOWN( NumRes(PowvpOp) == 3 );
    624         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    625610        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    626611        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
  • trunk/cppad/local/prototype_op.hpp

    r3320 r3321  
    639639\li NumArg(op) == 2
    640640\li NumRes(op) == 1
    641 \li If x is a variable, arg[0] < i_z
    642 \li If y is a variable, arg[1] < i_z
    643641\li q <  cap_order
    644642\li p <=  q
     
    736734\li NumArg(op) == 2
    737735\li NumRes(op) == 1
    738 \li If x is a variable, arg[0] < i_z
    739 \li If y is a variable, arg[1] < i_z
    740736\li 0 < q <  cap_order
    741737*/
     
    799795\li NumArg(op) == 2
    800796\li NumRes(op) == 1
    801 \li If x is a variable, \a arg[0] < \a i_z
    802 \li If y is a variable, \a arg[1] < \a i_z
    803797*/
    804798template <class Base>
  • trunk/cppad/local/sub_op.hpp

    r3301 r3321  
    4848        CPPAD_ASSERT_UNKNOWN( NumArg(SubvvOp) == 2 );
    4949        CPPAD_ASSERT_UNKNOWN( NumRes(SubvvOp) == 1 );
    50         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    51         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    5250        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    5351        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    8886        CPPAD_ASSERT_UNKNOWN( NumArg(SubvvOp) == 2 );
    8987        CPPAD_ASSERT_UNKNOWN( NumRes(SubvvOp) == 1 );
    90         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    91         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    9288        CPPAD_ASSERT_UNKNOWN( 0 < q );
    9389        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    129125        CPPAD_ASSERT_UNKNOWN( NumArg(SubvvOp) == 2 );
    130126        CPPAD_ASSERT_UNKNOWN( NumRes(SubvvOp) == 1 );
    131         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    132         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    133127
    134128        // Taylor coefficients corresponding to arguments and result
     
    168162        CPPAD_ASSERT_UNKNOWN( NumArg(SubvvOp) == 2 );
    169163        CPPAD_ASSERT_UNKNOWN( NumRes(SubvvOp) == 1 );
    170         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    171         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    172164        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    173165        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    214206        CPPAD_ASSERT_UNKNOWN( NumArg(SubpvOp) == 2 );
    215207        CPPAD_ASSERT_UNKNOWN( NumRes(SubpvOp) == 1 );
    216         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    217208        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    218209        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    257248        CPPAD_ASSERT_UNKNOWN( NumArg(SubpvOp) == 2 );
    258249        CPPAD_ASSERT_UNKNOWN( NumRes(SubpvOp) == 1 );
    259         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    260250        CPPAD_ASSERT_UNKNOWN( 0 < q );
    261251        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    295285        CPPAD_ASSERT_UNKNOWN( NumArg(SubpvOp) == 2 );
    296286        CPPAD_ASSERT_UNKNOWN( NumRes(SubpvOp) == 1 );
    297         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    298287
    299288        // Paraemter value
     
    334323        CPPAD_ASSERT_UNKNOWN( NumArg(SubvvOp) == 2 );
    335324        CPPAD_ASSERT_UNKNOWN( NumRes(SubvvOp) == 1 );
    336         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    337325        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    338326        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
     
    377365        CPPAD_ASSERT_UNKNOWN( NumArg(SubvpOp) == 2 );
    378366        CPPAD_ASSERT_UNKNOWN( NumRes(SubvpOp) == 1 );
    379         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    380367        CPPAD_ASSERT_UNKNOWN( q < cap_order );
    381368        CPPAD_ASSERT_UNKNOWN( p <= q );
     
    420407        CPPAD_ASSERT_UNKNOWN( NumArg(SubvpOp) == 2 );
    421408        CPPAD_ASSERT_UNKNOWN( NumRes(SubvpOp) == 1 );
    422         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    423409        CPPAD_ASSERT_UNKNOWN( 0 < q );
    424410        CPPAD_ASSERT_UNKNOWN( q < cap_order );
     
    459445        CPPAD_ASSERT_UNKNOWN( NumArg(SubvpOp) == 2 );
    460446        CPPAD_ASSERT_UNKNOWN( NumRes(SubvpOp) == 1 );
    461         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    462447
    463448        // Parameter value
     
    498483        CPPAD_ASSERT_UNKNOWN( NumArg(SubvpOp) == 2 );
    499484        CPPAD_ASSERT_UNKNOWN( NumRes(SubvpOp) == 1 );
    500         CPPAD_ASSERT_UNKNOWN( size_t(arg[0]) < i_z );
    501485        CPPAD_ASSERT_UNKNOWN( d < cap_order );
    502486        CPPAD_ASSERT_UNKNOWN( d < nc_partial );
Note: See TracChangeset for help on using the changeset viewer.