TODO.txt

GJORT:

- Alt fra QPA-filene complex.g* og inflist.g* er nå flyttet, enten til
  en av Complex-filene complex.g*, inflist.g* og chainmap.g*, eller
  til QPA-filen midlertidig.g*.

- Innholdet i Complex-filen qpainterface.g* er flyttet til
  midlertidig.g* i QPA.  Det var kanskje ikke så lurt, for man bør jo
  kunne bruke qpainterface.gi når man skal teste ting. Vær obs på
  dette når ting skal endres i koden …

- Alt i filen midlertidig.gi fungerer fint i QPA.  Oppdaterer denne
  istedenfor den som ligger i complex.

- Alle trunkeringene er fikset. Dokumentasjonen om disse er relativt
  fikset (den har en pussig inkonsistens, men pytt).

- Til slutt en gang: Sjekk om noe må endres i derivedcat.g* i QPA. Jeg
  tror egentlig dette er i orden nå. Andre feil i den filen, derimot …

- MappingCone fungerer tålelig greit nå, men elegant er det ikke.

- Image og IsExact, samt homologi, fungerer fint nå.

GJØR:

- Lage egen «versjon» av MappingCone som opererer på endelige
  komplekser. Ikke nok å bare kutte, for da blir det tull med
  avbildningene. Men forhåpentligvis kan koden som finnes brukes til å
  skrive dette spesialtilfellet rimelig kjapt (inne i MappingCone).

- Projektiv oppløsning etc. er nå i QPA. Bør dette implementeres i
  Complex, hva gjør vi med projektive objekter? Egen kategori
  "IsAbelianCatWithEnoughProjectives"??

- Andre ting som kan lages:
  - Langeksakt sekvens i homologi
  - Kjedekomplekser over en abelsk kategori, som en abelsk kategori
    (trenger da kjerner og sånn)
  - Totale komplekser

- QIS-testen fungerer ok, men går det an å gjøre noe med MappingCone
  sånn at den funker på repeterende komplekser generelt? Da kan man
  teste mer for QIS også.