#32293 closed enhancement (fixed)

Orlik-Terao invariant algebra

Reported by: tkarn Owned by:
Priority: major Milestone: sage-9.5
Component: algebra Keywords: gsoc2021
Cc: tscrim, tkarn Merged in:
Authors: Trevor K. Karn Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 66055b9 (Commits, GitHub, GitLab) Commit: 66055b946e81eb9cecb4965dc56266f71d37ba6d
Dependencies: #31987 #31939 #32145 Stopgaps:

Status badges

Description

Implement a subclass of FiniteDimensionalInvariantModule? specifically for the Orlik-Terao algebra of a matroid, given an action on the groundset.

C.f. the related implementation for the Orlik-Solomon algebra #32027 (which is not a dependency for this ticket).

Change History (11)

comment:1 Changed 13 months ago by tkarn

  • Branch set to u/tkarn/ot-invariants-32293

comment:2 Changed 13 months ago by git

  • Commit set to 5e546906688261f2ded822d2bc08ee686cddf47a

Branch pushed to git repo; I updated commit sha1. New commits:

5e54690Initial commit

comment:3 Changed 12 months ago by git

  • Commit changed from 5e546906688261f2ded822d2bc08ee686cddf47a to e78e10f837185b343755c883a624635768265df2

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

9a5a5ecInitial commit
e78e10fRefactor Orlik-Terao invariant

comment:4 Changed 12 months ago by tkarn

  • Status changed from new to needs_review

comment:5 Changed 12 months ago by tscrim

  • Keywords gsoc2021 added
  • Reviewers set to Travis Scrimshaw

A few minor things:

-self._side = side = kwargs.pop('side', 'left')
+self._side = kwargs.pop('side', 'left')
     - ``action_on_groundset`` -- a function defining the action of
-    ``G`` on the elements of the groundset of ``M`` default
+      ``G`` on the elements of the groundset of ``M`` default
 
     OUTPUT:
 
-    - The invariant algebra of the Orlik-Terao algebra induced by
-    the action of ``action_on_groundset``
+    - the invariant algebra of the Orlik-Terao algebra induced by
+      the action of ``action_on_groundset``
-    The underlying ambient module is a ``Representation`` and so the
-    Orlik-Terao algebra itself is the ``.ambient()._module``::
+    The underlying ambient module is the Orlik-Terao algebra,
+    which is accessible via :meth:`ambient()`::
-Examples::
+EXAMPLES::
         - ``x`` -- the result of the action of ``g`` on ``f`` inside
-        of the Orlik-Terao algebra
+          of the Orlik-Terao algebra
-if f == frozenset():
+if not f:

comment:6 Changed 12 months ago by git

  • Commit changed from e78e10f837185b343755c883a624635768265df2 to 2741f03ab2f35ba9564d20e4d0c01269005ce0fb

Branch pushed to git repo; I updated commit sha1. New commits:

2741f03Add reviewer suggestions

comment:7 Changed 12 months ago by git

  • Commit changed from 2741f03ab2f35ba9564d20e4d0c01269005ce0fb to 17289affa8816dd0c4a73d574ea1c2b5b92e87cc

Branch pushed to git repo; I updated commit sha1. New commits:

17289afAnother reviewer suggestion

comment:8 Changed 12 months ago by tscrim

  • Status changed from needs_review to positive_review

Thanks. LGTM.

comment:9 Changed 12 months ago by git

  • Commit changed from 17289affa8816dd0c4a73d574ea1c2b5b92e87cc to 66055b946e81eb9cecb4965dc56266f71d37ba6d
  • Status changed from positive_review to needs_review

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:

66055b9Add kwargs to hyperplane OT

comment:10 Changed 12 months ago by tkarn

  • Status changed from needs_review to positive_review

comment:11 Changed 12 months ago by vbraun

  • Branch changed from u/tkarn/ot-invariants-32293 to 66055b946e81eb9cecb4965dc56266f71d37ba6d
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.