Skip to main content

Notations

Project description

Notations

Statically estimate asymptotic notation for a given Python function by looking at the level of loop-nesting inside the function.

this is an early prototype

Example

from notations import notation

def my_example_function(arg1, arg2):
    f = 0
    for a in arg1:
        for i in a:
            f+=1
    for b in arg2:
        for j in b:
            f+=1

print(notation(my_example_function))

Will print Θ(n^2)

See test_notations.py for more examples.

TODO

This is a rough sketch of a concept at this stage.

  • while operators
  • Look at the relationship between input arguments in a function, just because a loop is nested, doesn't mean the O(n_n) is correct
  • branches inside loops
  • test comprehensions

FAQ

  • Why not use the AST? The AST cannot be built at runtime (easily) from a code object, this library is intended to be used to evaluate the execution-order of a compiled function.
  • How could you possibly calculate the order without running the code? This function equates the order by looking at the level of loop-nesting in a function, the use of comprehensions and the relationships between arguments. Dynamic runtime benchmarks are susceptible to environmental conditions (noisy neighbours) and there are already plenty of tools out there that do this

Research notes

Changes

0.2.0

  • Change to theta values for repr

0.1.0

  • Initial prototype supporting basic for loops

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for notations, version 0.2.0
Filename, size File type Python version Upload date Hashes
Filename, size notations-0.2.0-py2.py3-none-any.whl (13.6 kB) File type Wheel Python version py2.py3 Upload date Hashes View hashes
Filename, size notations-0.2.0.tar.gz (6.2 kB) File type Source Python version None Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN SignalFx SignalFx Supporter DigiCert DigiCert EV certificate StatusPage StatusPage Status page