Skip to main content

Browse the archive

Revision 22578b42562b3e13c4f7791fe51ef4d30d076eed authored by Pierre-Yves Strub on 06 May 2016, 07:38:09 UTC, committed by Pierre-Yves Strub on 06 May 2016, 07:38:09 UTC 
`argmin` operator
 
`argmin p` returns the smaller natural `i` s.t. `p i` or 0 if not such
witness exists.
1 parent fa61550
Raw File
.gitignore 
*.rcc
*rcc.py
/.project
/.pydevproject
/.settings
/build/
/dist/
/MANIFEST
back to top