Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • dtc's avatar
    6d9d64ba
    Rework many of the derive-type optimizers: · 6d9d64ba
    dtc authored
    1. Correct handling of integer and rational arguments which give
    single-float results.
    2. Correct coercion of the number-type bounds.
    3. Improve consistency.
    
    Functions modified: float-or-complex-type, elfun-derive-type-simple,
    atan-derive-type-aux-2, phase-derive-type, imagpart-derive-type-aux,
    trig-derive-type-aux, abs-derive-type-aux. Remove function
    elfun-float-format. Add function coerce-numeric-bound.
    
    Add an optional increasingp argument to elfun-derive-type-simple
    allowing it to be used for acos, and remove acos-derive-type-aux.
    6d9d64ba
    History
    Rework many of the derive-type optimizers:
    dtc authored
    1. Correct handling of integer and rational arguments which give
    single-float results.
    2. Correct coercion of the number-type bounds.
    3. Improve consistency.
    
    Functions modified: float-or-complex-type, elfun-derive-type-simple,
    atan-derive-type-aux-2, phase-derive-type, imagpart-derive-type-aux,
    trig-derive-type-aux, abs-derive-type-aux. Remove function
    elfun-float-format. Add function coerce-numeric-bound.
    
    Add an optional increasingp argument to elfun-derive-type-simple
    allowing it to be used for acos, and remove acos-derive-type-aux.