created FanoCats v0.1

Author: mahrud

.github/workflows/jekyll.yml

@@ -9,7 +9,7 @@ name: Deploy Jekyll site to Pages
 on:
   # Runs on pushes targeting the default branch
   push:
-    branches: ["learn"]
+    branches: ["fanocats"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:

LICENSE.md

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2019 Mahrud Sayrafi
+Copyright (c) 2026 Mahrud Sayrafi
 Copyright (c) 2016 Alex Gil
 Copyright (c) 2014 Mark Otto
 

README.md

@@ -2,8 +2,8 @@ Learn Macaulay2
 ===============
 
 ```bash
-git clone git@github.com:mahrud/LearnM2.git
-cd LearnM2
+git clone git@github.com:mahrud/FanoCats.git
+cd fanocats
 make install
 make serve
 make push

_config.yml

@@ -1,12 +1,11 @@
 # Setup
-title:               Learn Macaulay2
-tagline:             a Software System for Research in Algebraic Geometry
+title:               FanoCats
+tagline:             (Toric) Fano Categories Database
 description:         >- # this means to ignore newlines until "url:"
-  Macaulay2 is a software system devoted to supporting research in algebraic
-  geometry and commutative algebra.
+  A database of derived categories of smooth fano toric varieties.
 url:                 https://mahrud.github.io
-baseurl:             '/LearnM2' # the subpath of your site, e.g. /blog
-cf_beacon:           'd27b5f2c1f2e4ba789d97184971739e0' # Cloudflare beacon token
+baseurl:             '/FanoCats' # the subpath of your site, e.g. /blog
+cf_beacon:           '' # Cloudflare beacon token
 
 # Color scheme. Options: red, orange, magenta, cyan, blue, brown
 color-scheme:
@@ -19,11 +18,9 @@ permalink: /:title/
 encoding: utf-8
 
 # Collections for entries
-collections:
-  examples:
-    output: true
-  packages:
-    output: true
+# collections:
+#   varieties:
+#     output: true
 
 # Markdown specs
 markdown: kramdown
@@ -50,7 +47,6 @@ exclude:
   - proof.gemspec
   - Makefile
   - _cache
-  - generate-json.m2
 
 # Theme
 remote_theme: "mahrud/proof"

_data/toric-2.csv

@@ -0,0 +1,6 @@
+index,rkPic,rkK0,numZ,isExc,Zonotope,ExtTable
+0,1,3,3,true,"{{2},{1},{0}}","{{1,3,6},{0,1,3},{0,0,1}}"
+1,2,4,4,true,"{{1,1},{0,1},{1,0},{0,0}}","{{1,2,2,4},{0,1,0,2},{0,0,1,2},{0,0,0,1}}"
+2,2,4,4,true,"{{1,1},{0,1},{1,0},{0,0}}","{{1,2,3,5},{0,1,1,3},{0,0,1,2},{0,0,0,1}}"
+3,3,5,5,true,"{{1,0,1},{0,1,0},{0,0,1},{1,0,0},{0,0,0}}","{{1,1,2,2,4},{0,1,1,1,3},{0,0,1,0,2},{0,0,0,1,2},{0,0,0,0,1}}"
+4,4,6,6,true,"{{0,1,1,0},{1,0,0,1},{0,0,1,1},{1,0,0,0},{0,1,0,0},{0,0,0,0}}","{{1,0,1,1,1,3},{0,1,1,1,1,3},{0,0,1,0,0,2},{0,0,0,1,0,2},{0,0,0,0,1,2},{0,0,0,0,0,1}}"

_data/toric-3.csv

@@ -0,0 +1,19 @@
+index,rkPic,rkK0,numZ,isExc,Zonotope,ExtTable
+0,1,4,4,true,"{{3},{2},{1},{0}}","{{1,4,10,20},{0,1,4,10},{0,0,1,4},{0,0,0,1}}"
+1,2,6,7,false,"{{1,2},{1,1},{1,0},{1,-1},{0,2},{0,1},{0,0}}","{{1,3,6,10,7,13,21},{0,1,3,6,3,7,13},{0,0,1,3,1,3,7},{T^2,0,0,1,T^2,1,3},{0,0,0,0,1,3,6},{0,0,0,0,0,1,3},{0,0,0,0,0,0,1}}"
+2,2,6,6,true,"{{1,2},{1,1},{0,2},{1,0},{0,1},{0,0}}","{{1,3,4,6,9,16},{0,1,1,3,4,9},{0,0,1,0,3,6},{0,0,0,1,1,4},{0,0,0,0,1,3},{0,0,0,0,0,1}}"
+3,2,6,6,true,"{{2,1},{2,0},{1,1},{1,0},{0,1},{0,0}}","{{1,2,4,7,10,16},{0,1,1,4,4,10},{0,0,1,2,4,7},{0,0,0,1,1,4},{0,0,0,0,1,2},{0,0,0,0,0,1}}"
+4,2,6,6,true,"{{2,1},{2,0},{1,1},{1,0},{0,1},{0,0}}","{{1,2,3,6,6,12},{0,1,0,3,0,6},{0,0,1,2,3,6},{0,0,0,1,0,3},{0,0,0,0,1,2},{0,0,0,0,0,1}}"
+5,3,8,8,true,"{{1,1,1},{1,0,1},{0,1,1},{0,0,1},{1,1,0},{1,0,0},{0,1,0},{0,0,0}}","{{1,2,2,4,5,8,8,13},{0,1,0,2,2,5,3,8},{0,0,1,2,2,3,5,8},{0,0,0,1,1,2,2,5},{0,0,0,0,1,2,2,4},{0,0,0,0,0,1,0,2},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,1}}"
+6,3,8,8,true,"{{1,1,1},{0,1,1},{1,0,1},{1,1,0},{0,0,1},{0,1,0},{1,0,0},{0,0,0}}","{{1,2,3,4,5,7,9,14},{0,1,1,1,3,4,4,9},{0,0,1,1,2,2,4,7},{0,0,0,1,0,2,3,5},{0,0,0,0,1,1,1,4},{0,0,0,0,0,1,1,3},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,1}}"
+7,3,8,8,true,"{{1,1,1},{1,1,0},{1,0,1},{1,0,0},{0,1,1},{0,1,0},{0,0,1},{0,0,0}}","{{1,2,2,4,2,4,4,8},{0,1,0,2,0,2,0,4},{0,0,1,2,0,0,2,4},{0,0,0,1,0,0,0,2},{0,0,0,0,1,2,2,4},{0,0,0,0,0,1,0,2},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,1}}"
+8,3,8,8,true,"{{1,1,1},{1,1,0},{0,1,1},{0,1,0},{1,0,1},{1,0,0},{0,0,1},{0,0,0}}","{{1,2,2,4,3,6,5,10},{0,1,0,2,0,3,0,5},{0,0,1,2,1,2,3,6},{0,0,0,1,0,1,0,3},{0,0,0,0,1,2,2,4},{0,0,0,0,0,1,0,2},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,1}}"
+9,3,8,8,true,"{{1,1,1},{1,1,0},{0,1,1},{0,1,0},{1,0,1},{1,0,0},{0,0,1},{0,0,0}}","{{1,2,2,4,4,7,7,12},{0,1,0,2,1,4,2,7},{0,0,1,2,1,2,4,7},{0,0,0,1,0,1,1,4},{0,0,0,0,1,2,2,4},{0,0,0,0,0,1,0,2},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,1}}"
+10,3,8,9,false,"{{2,0,1},{1,1,0},{1,0,1},{0,1,0},{0,0,1},{2,0,0},{-1,1,0},{1,0,0},{0,0,0}}","{{1,1,3,3,6,4,6,9,16},{0,1,1,3,3,3,6,7,13},{0,0,1,1,3,1,3,4,9},{0,0,0,1,1,1,3,3,7},{0,0,0,0,1,0,1,1,4},{0,0,0,0,0,1,0,3,6},{T^2,0,0,0,0,T^2,1,1,3},{0,0,0,0,0,0,0,1,3},{0,0,0,0,0,0,0,0,1}}"
+11,3,8,8,true,"{{1,0,2},{0,1,1},{0,0,2},{1,0,1},{0,1,0},{0,0,1},{1,0,0},{0,0,0}}","{{1,1,2,3,3,6,6,12},{0,1,1,1,3,4,3,9},{0,0,1,0,0,3,0,6},{0,0,0,1,1,2,3,6},{0,0,0,0,1,1,1,4},{0,0,0,0,0,1,0,3},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,1}}"
+12,4,10,10,true,"{{1,1,1,0},{1,1,0,0},{0,0,1,1},{0,0,0,1},{1,0,1,0},{1,0,0,0},{0,1,1,0},{0,1,0,0},{0,0,1,0},{0,0,0,0}}","{{1,2,1,2,2,4,3,5,6,10},{0,1,0,1,0,2,1,3,2,6},{0,0,1,2,1,2,2,3,5,8},{0,0,0,1,0,1,1,2,2,5},{0,0,0,0,1,2,0,0,3,5},{0,0,0,0,0,1,0,0,1,3},{0,0,0,0,0,0,1,2,2,4},{0,0,0,0,0,0,0,1,0,2},{0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,1}}"
+13,4,10,10,true,"{{1,1,1,0},{1,0,1,0},{0,1,0,1},{0,0,0,1},{1,1,0,0},{0,1,1,0},{1,0,0,0},{0,0,1,0},{0,1,0,0},{0,0,0,0}}","{{1,2,2,3,3,3,5,5,8,12},{0,1,1,2,1,1,3,3,4,8},{0,0,1,2,1,1,2,2,4,7},{0,0,0,1,0,0,1,1,1,4},{0,0,0,0,1,0,2,0,3,5},{0,0,0,0,0,1,0,2,3,5},{0,0,0,0,0,0,1,0,1,3},{0,0,0,0,0,0,0,1,1,3},{0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,1}}"
+14,4,10,10,true,"{{1,1,1,0},{0,0,1,1},{1,1,0,0},{0,0,0,1},{1,0,1,0},{1,0,0,0},{0,1,1,0},{0,1,0,0},{0,0,1,0},{0,0,0,0}}","{{1,1,2,2,2,4,2,4,4,8},{0,1,0,2,1,2,1,2,3,6},{0,0,1,1,0,2,0,2,0,4},{0,0,0,1,0,1,0,1,0,3},{0,0,0,0,1,2,0,0,2,4},{0,0,0,0,0,1,0,0,0,2},{0,0,0,0,0,0,1,2,2,4},{0,0,0,0,0,0,0,1,0,2},{0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,1}}"
+15,4,10,10,true,"{{1,1,1,0},{1,1,0,0},{0,0,1,1},{0,0,0,1},{1,0,1,0},{1,0,0,0},{0,1,1,0},{0,1,0,0},{0,0,1,0},{0,0,0,0}}","{{1,2,1,2,3,5,2,4,6,10},{0,1,0,1,1,3,0,2,2,6},{0,0,1,2,1,2,1,2,4,7},{0,0,0,1,0,1,0,1,1,4},{0,0,0,0,1,2,0,0,2,4},{0,0,0,0,0,1,0,0,0,2},{0,0,0,0,0,0,1,2,3,5},{0,0,0,0,0,0,0,1,1,3},{0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,1}}"
+16,5,12,12,true,"{{0,1,0,1,1},{1,0,1,1,0},{0,1,0,0,1},{1,0,1,0,0},{0,0,0,1,1},{0,0,0,0,1},{0,0,1,1,0},{0,0,1,0,0},{1,1,0,1,0},{1,1,0,0,0},{0,0,0,1,0},{0,0,0,0,0}}","{{1,0,2,0,1,2,1,2,1,2,3,6},{0,1,0,2,1,2,1,2,1,2,3,6},{0,0,1,0,0,1,0,1,0,1,0,3},{0,0,0,1,0,1,0,1,0,1,0,3},{0,0,0,0,1,2,0,0,0,0,2,4},{0,0,0,0,0,1,0,0,0,0,0,2},{0,0,0,0,0,0,1,2,0,0,2,4},{0,0,0,0,0,0,0,1,0,0,0,2},{0,0,0,0,0,0,0,0,1,2,2,4},{0,0,0,0,0,0,0,0,0,1,0,2},{0,0,0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,0,0,1}}"
+17,5,12,12,true,"{{0,1,0,1,1},{0,1,0,0,1},{1,0,1,1,0},{1,0,1,0,0},{0,0,0,1,1},{0,0,0,0,1},{0,0,1,1,0},{0,0,1,0,0},{1,1,0,1,0},{1,1,0,0,0},{0,0,0,1,0},{0,0,0,0,0}}","{{1,2,0,0,1,2,1,2,1,2,4,7},{0,1,0,0,0,1,0,1,0,1,1,4},{0,0,1,2,1,2,2,3,1,2,5,8},{0,0,0,1,0,1,1,2,0,1,2,5},{0,0,0,0,1,2,0,0,0,0,3,5},{0,0,0,0,0,1,0,0,0,0,1,3},{0,0,0,0,0,0,1,2,0,0,2,4},{0,0,0,0,0,0,0,1,0,0,0,2},{0,0,0,0,0,0,0,0,1,2,3,5},{0,0,0,0,0,0,0,0,0,1,1,3},{0,0,0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,0,0,1}}"

_includes/head.html

@@ -16,23 +16,6 @@
 
     <title>{% if page.title == "Home" %}{{ site.title }}{% else %}{{ page.title }}{% endif %}</title>
 
-{%- if page.layout == "post" %}
-    <!-- Dublin Core metadata for Zotero -->
-    <meta name="DC.title"   content="{{ page.title }}" />
-    <meta name="DC.creator" content="{{ page.author }}" />
-    <meta name="DC.date"    content="{{ page.publication-date }}" />
-    <meta name="DC.source"  content="{{ site.title }}" />
-    <!-- Open Graph metadata -->
-    <meta property="og:type"           content="article" />
-    <meta property="og:title"          content="{{ page.title }}" />
-    <meta property="og:article:author" content="{{ page.author }}" />
-    <meta property="og:description"    content="{{ site.description }}" />
-    <meta property="og:url"            content="{{ site.url }}{{ site.baseurl }}{{ page.url }}" />
-    <meta property="og:image"          content="{{ site.url }}{{ site.baseurl }}/static/open-graph-logo.png" />
-    <meta property="og:image:width"    content="200" />
-    <meta property="og:image:height"   content="200" />
-{%- endif %}
-
     <!-- KaTeX -->
     <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/katex.min.css"
       integrity="sha384-zh0CIslj+VczCZtlzBcjt5ppRcsAmDnRem7ESsYwWwg3m/OaJ2l4x7YBZl9Kxxib" crossorigin="anonymous"/>
@@ -48,6 +31,7 @@
       var macros = {
           "\\PP": "\\mathbb{P}", "\\AA": "\\mathbb{A}", "\\NN": "\\mathbb{N}", "\\ZZ": "\\mathbb{Z}",
           "\\kk": "\\mathbb{k}", "\\QQ": "\\mathbb{Q}", "\\RR": "\\mathbb{R}", "\\CC": "\\mathbb{C}",
+          "\\OO": "\\mathcal{O}",
       }, ignoredTags = [
 	  "kbd", "var", "samp", "script", "noscript", "style", "textarea", "pre", "code", "option"
       ], delimiters = [{ left: "$", right: "$", display: false }];
@@ -62,21 +46,28 @@
     </script>
 
     <!-- Prism -->
-    <link href="{{ site.baseurl }}/static/prism.css" rel="stylesheet" type="text/css" />
-    <script src="{{ site.baseurl }}/static/prism-macaulay2.js"></script>
+    <!-- <link href="{{ site.baseurl }}/static/prism.css" rel="stylesheet" type="text/css" /> -->
+    <!-- <script src="{{ site.baseurl }}/static/prism-macaulay2.js"></script> -->
 
     <!-- Handlebars -->
     <script src="https://cdn.jsdelivr.net/npm/handlebars@latest/dist/handlebars.js"></script>
 
     <!-- jQuery -->
-    <script src="https://cdn.jsdelivr.net/npm/jquery@3.7/dist/jquery.min.js"
-      integrity="sha256-/JqT3SQfawRcv/BIHPThkBvs0OEvtFFmqPF/lYI/Cxo=" crossorigin="anonymous"></script>
+    <!-- <script src="https://cdn.jsdelivr.net/npm/jquery@3.7/dist/jquery.min.js" -->
+    <!--   integrity="sha256-/JqT3SQfawRcv/BIHPThkBvs0OEvtFFmqPF/lYI/Cxo=" crossorigin="anonymous"></script> -->
 
     <!-- Anchor -->
     <script src="https://cdn.jsdelivr.net/npm/anchor-js/anchor.min.js"></script>
+    <script>;
+      document.addEventListener("DOMContentLoaded", function(event) { anchors.add(); });
+    </script>
 
     <!-- Fuse -->
-    <script src="https://cdn.jsdelivr.net/npm/fuse.js/dist/fuse.js"></script>
+    <!-- <script src="https://cdn.jsdelivr.net/npm/fuse.js/dist/fuse.js"></script> -->
+
+    <!-- tablesort -->
+    <script src="https://cdn.jsdelivr.net/npm/tablesort@5.7/dist/tablesort.min.js"></script>
+    <script src="https://cdn.jsdelivr.net/npm/tablesort@5.7/dist/sorts/tablesort.number.min.js"></script>
 
     {%- if site.cf_beacon %}
     <!-- Cloudflare Web Analytics -->

_includes/navbar.html

@@ -1,29 +1,26 @@
-    <nav class="navbar navbar-expand-lg navbar-dark bg-dark">
-      <div class="container">
-	<a class="navbar-brand" href="{{ site.baseurl }}/">
-	  <img src="{{ site.baseurl }}/static/syzygy.jpg"
-	       title="M2 Syzygy, by Courtney Gibbons" style="width:35px; margin-right: 5px"/>
-	  <strong>{{ site.title }}</strong></a>
+    <nav class="navbar navbar-expand-lg navbar-dark fano-nav" id="menu">
+      <div class="fano-nav__inner">
+        <a class="navbar-brand fano-nav__brand" href="{{ site.baseurl }}/">
+          <img src="{{ site.baseurl }}/static/syzygy.jpg"
+               title="M2 Syzygy, by Courtney Gibbons" alt="{{ site.title }}" />
+          <strong>{{ site.title }}</strong>
+        </a>
 
-	<div class="collapse navbar-collapse" id="navb">
-	  <ul class="navbar-nav mr-auto">
-	    {%- assign pages_list = site.pages | sort: 'order' -%}
-	    {%- for node in pages_list -%}
-	      {%- if node.title != null and node.category == "links" -%}
-	    <li class="nav-item">
-              <a class="nav-link
-	      {%- if page.url == node.url %} active{% endif %}" href="{{ site.baseurl }}{{ node.url }}">{{ node.title }}</a>
-	    </li>
-	      {%- endif -%}
-	    {%- endfor %}
-	    <li class="nav-item">
-              <a class="nav-link" href="https://github.com/Macaulay2/M2/wiki">Wiki</a>
-	    </li>
-	  </ul>
-	</div>
+        <button class="navbar-toggler fano-nav__toggle" type="button" data-bs-toggle="collapse" data-bs-target="#navb" aria-controls="navb" aria-expanded="false" aria-label="Toggle navigation">
+          <span class="navbar-toggler-icon"></span>
+        </button>
 
-	<button class="navbar-toggler navbar-toggler-right" type="button" data-bs-toggle="collapse" data-bs-target="#navb">
-	  <span class="navbar-toggler-icon"></span>
-	</button>
+        <div class="collapse navbar-collapse" id="navb">
+          <ul class="navbar-nav mx-auto fano-nav__links">
+            {%- assign pages_list = site.pages | sort: 'order' -%}
+            {%- for node in pages_list -%}
+              {%- if node.title != null and node.category == "links" -%}
+            <li class="nav-item">
+              <a class="nav-link{% if page.url == node.url %} active{% endif %}" href="{{ site.baseurl }}{{ node.url }}">{{ node.title }}</a>
+            </li>
+              {%- endif -%}
+            {%- endfor %}
+          </ul>
+        </div>
       </div>
     </nav>

_includes/table.toric.html

@@ -0,0 +1,35 @@
+{% assign dim = include.dimension %}
+
+There are {{ include.fanos.size() }} varieties in this class:
+
+<table class="table table-hover" id="table-toric-{{ dim }}">
+  <thead>
+    <tr>
+      <th scope="col" class="text-center">$(\dim,\#)$</th>
+      <th scope="col" class="text-center" data-sort-method="number">$\operatorname{rk} \mathrm{Pic}$</th>
+      <th scope="col" class="text-center" data-sort-method="number">$\operatorname{rk} K_0$</th>
+      <th scope="col">$\Theta$-collection</th>
+      <th scope="col">Ext table</th>
+    </tr>
+  </thead>
+
+  <tbody>
+    {% for fano in include.fanos %}
+    <tr>
+      <td class="align-middle row-identifier text-center">
+	<a class="identifier text-nowrap" data-sort="{{ "%03d%03d" | format(dim, fano.index) }}"
+	   href="/toric-{{ dim }}-{{ fano.index }}">$({{ dim }},{{ fano.index }})$</a></td>
+      <td class="align-middle rkPic text-center">{{ fano.rkPic }}</td>
+      <td class="align-middle rkK0  text-center">{{ fano.rkK0 }}</td>
+      <td class="align-middle Zonotope" data-sort="{{ fano.numZ }}">
+	${{ fano.numZ }}:{{ fano.Zonotope | latex_matrix: true }}$</td>
+      <td class="align-middle ExtTable" data-sort="{{ fano.isExc }}">
+	${{ fano.ExtTable | latex_matrix: false }}$</td>
+    </tr>
+    {% endfor %}
+  </tbody>
+</table>
+
+<script type="text/javascript">
+  new Tablesort(document.getElementById("table-toric-{{ dim }}"));
+</script>

_layouts/default.html

@@ -2,16 +2,22 @@
 <html lang="en-us">
 {% include head.html %}
   <body class="theme-base-{{ site.color-scheme }} language-Macaulay2">
-    {%- include navbar.html -%}
+    <header class="fano-titleband">
+      <h1><a href="{{ site.baseurl }}/">
+	  <span style="color: #014000">F</span>ano<span style="color: #014000">C</span>ats</a></h1>
+      <p>{{ site.tagline }}</p>
+    </header>
 
     <!-- Search results section -->
-    <div class="container">
+    <div class="fano-search-shell">
       <div id="results"></div>
       <ul id="search_results"></ul>
     </div>
 
 <!-- ######################################### default ######################################### -->
+    <div id="content" class="fano-content-shell">
 {{ content }}
+    </div>
 <!-- ########################################################################################### -->
 
     <script src="https://cdn.jsdelivr.net/npm/bootstrap@5.3.6/dist/js/bootstrap.bundle.min.js"