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

Revision 87eacb93177c9d41edb525bb71ae03ae45f18d14 authored by Drew Johnson on 20 March 2020, 16:48:33 UTC, committed by Drew Johnson on 20 March 2020, 16:48:33 UTC
added a ps and ps_ member to strataalgebra
and updated the doc string
1 parent 19376f1
  • Files
  • Changes
  • 97085ea
  • /
  • topintersections
  • /
  • push_down.py
Raw File Download
Permalinks

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.

  • revision
  • directory
  • content
revision badge
swh:1:rev:87eacb93177c9d41edb525bb71ae03ae45f18d14
directory badge Iframe embedding
swh:1:dir:370d394cc10295b17330f0bd86b2e47ea9df92ec
content badge Iframe embedding
swh:1:cnt:82c4597655d015aa43b850b90ca4166fba2bdb46
Citations

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.

  • revision
  • directory
  • content
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 ...
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
The diff you're trying to view is too large. Only the first 1000 changed files have been loaded.
Showing with 0 additions and 0 deletions (0 / 0 diffs computed)
swh spinner

Computing file changes ...

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— Contact— JavaScript license information— Web API

back to top