Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Dec 1, 2013
  1. Move assertions outside the LET+ forms.

    authored
    &assert was removed from LET+, this should be better style.
Commits on Nov 21, 2013
  1. Fixed bugs (prematurely referring to clnu package).

    authored
    Code was copy-pasted from somewhere else, hence the bug.
Commits on Nov 20, 2013
  1. Added tabulation commands.

    authored
Commits on Nov 18, 2013
  1. Added BINARY-SEARCH.

    authored
  2. Removed stray line.

    authored
Commits on Sep 24, 2013
  1. Fixed accessor.

    authored
  2. Fixed tally and printing.

    authored
Commits on Sep 22, 2013
  1. Minor fixes to sparse-counter.

    authored
    Exported table accessor, fixed printing to take print-length into
    account, added weights.
  2. Exported print-length-truncate.

    authored
  3. Added sparse-counter.

    authored
Commits on Jun 1, 2013
  1. Rewrote extended reals.

    authored
    - no longer using functions to create/test infinite objects, fixing them as keywords
    - added docstrings
    - fixed bug in interval (invalid condition)
    - changed tests accordingly
  2. Added quadrature.

    authored
  3. Added [a,inf] integrals.

    authored
Commits on May 31, 2013
  1. Re-added quadrature.

    authored
  2. Added with-double-floats.

    authored
Commits on May 10, 2013
  1. Added CURRY* (experimental).

    authored
Commits on Apr 29, 2013
  1. Added nickname to package.

    authored
Commits on Apr 24, 2013
Commits on Apr 22, 2013
  1. Fixed test.

    authored
    Was using equalp, which is not valud for intervals.
Commits on Apr 19, 2013
  1. Fixed pathnames for system definition.

    authored
    #P"src/" is not portable, while "src/" is (for ASDF).
  2. Added tests for some utilities.

    authored
  3. Added biconditional.

    authored
  4. Added subintervals-in.

    authored
Commits on Apr 18, 2013
  1. Added tests for elog/eexp.

    authored
Commits on Apr 15, 2013
  1. Updated readme.

    authored
  2. Factored out square of L2 norm.

    authored
    This is a commonly used case when we don't need the square root.
    
    No separate tests are needed.
Something went wrong with that request. Please try again.