There is a newer version of the record available.

Published August 7, 2019 | Version v0.2.1
Software Open

JuliaReach/IntervalMatrices.jl: v0.2.1

Authors/Creators

  • 1. IST Austria
  • 2. UdelaR

Description

Announcements

This release is compatible with Julia v1.0. It drops compatibility with Julia v0.6.

Features
  • rename norm to opnorm and add 1-norm (#17)
  • function to split an interval matrix into two scalar matrices (#25)
  • membership test of a scalar matrix in an interval interval matrix (#31)
  • function to sample a concrete matrix from an interval matrix (#29)
  • interval multiplication with interval matrix (#35)
  • correction_hull function (not exported) (#32)
Bug fixes
  • fix infinity matrix norm (#17)
Enhancements
  • parameterized matrix type in IntervalMatrix (#16)
  • faster expm_overapproximation (#19)
  • faster quadratic_expansion (#18)

Files

JuliaReach/IntervalMatrices.jl-v0.2.1.zip

Files (18.4 kB)

Name Size Download all
md5:0b90ef1903404ba371a13422ecfe33b5
18.4 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/IntervalMatrices.jl/tree/v0.2.1 (URL)