Skip to main content
  • Home
  • Development
  • Documentation
  • Donate
  • Operational login
  • Browse the archive

swh logo
SoftwareHeritage
Software
Heritage
Archive
Features
  • Search

  • Downloads

  • Save code now

  • Add forge now

  • Help

https://github.com/uberparagon/mgn
22 June 2021, 16:13:34 UTC
  • Code
  • Branches (5)
  • Releases (0)
  • Visits
    • Branches
    • Releases
    • HEAD
    • refs/heads/master
    • refs/tags/1.1.2
    • refs/tags/v1.0.4
    • refs/tags/v1.0.5
    • refs/tags/v1.0.9
    • 33eaf69057f41060cae1f656d322f6b5c0a5e3fe
    No releases to show
  • ec20746
  • /
  • topintersections
  • /
  • push_down.py
Raw File Download
Take a new snapshot of a software origin

If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.

Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.
swh spinner

Processing "take a new snapshot" request ...

To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.

  • content
  • directory
  • revision
  • snapshot
origin badgecontent badge Iframe embedding
swh:1:cnt:82c4597655d015aa43b850b90ca4166fba2bdb46
origin badgedirectory badge Iframe embedding
swh:1:dir:6570190389308d35c350a86a12e4a5c3623b2f15
origin badgerevision badge
swh:1:rev:33eaf69057f41060cae1f656d322f6b5c0a5e3fe
origin badgesnapshot badge
swh:1:snp:6e9d4128140ea9fc091a9d1ff362de9d8be50de2

This interface enables to generate software citations, provided that the root directory of browsed objects contains a citation.cff or codemeta.json file.
Select below a type of object currently browsed in order to generate citations for them.

  • content
  • directory
  • revision
  • snapshot
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Tip revision: 33eaf69057f41060cae1f656d322f6b5c0a5e3fe authored by Drew Johnson on 14 September 2017, 01:24:33 UTC
doc and bug fixes
Tip revision: 33eaf69
push_down.py
"""
Contains the function push_down, which is used by intersection7.py.

Not sure if there is a good reason for this to be in its own file.
"""
from __future__ import absolute_import, print_function

try:
    from .TautRing3 import *
    from sage.all import *
except ImportError:
    pass
    
def push_down(psi_exp, g,n):
    """
    Pushes down the psi_classes via forgetful maps as far as possible, using the string equation and the formula from [AC].  Returns a polynomial in psi and kappa classes.
    """
    #print "recieved",psi_exp,g,n
    psi_exp = [expon for expon in psi_exp if expon != 0]
    if len(psi_exp) == n:
        #use AC formula
        if g == 0:
            raise Exception("???")
        elif g == 1:
            raise Exception("???")
        else:
            M = Mgn(g,0)
        result = 0
        for p in SetPartitions(range(len(psi_exp))):            
            result += prod([factorial(len(s) - 1) for s in p])*prod([kappa_class(M,sum([psi_exp[i]-1 for i in s])) for s in p])
        return result
    else:
        #do string equation
        value = 0
        for i in range(len(psi_exp)):
            a = list(psi_exp)
            a[i] -= 1
            value += push_down(a, g,n-1)
        return value

back to top

Software Heritage — Copyright (C) 2015–2025, The Software Heritage developers. License: GNU AGPLv3+.
The source code of Software Heritage itself is available on our development forge.
The source code files archived by Software Heritage are available under their own copyright and licenses.
Terms of use: Archive access, API— Content policy— Contact— JavaScript license information— Web API