Quick start
kohomology
is a Kotlin library published at the maven repository shwaka/maven.
You can use it in any kotlin project.
Requirement
You need to install Java Development Kit (JDK). Here we give an example of installation, but most JDK distributions and versions should be OK.
- [Windows] Install from Amazon Corretto. Usually you will choose amazon-corretto-8-x64-windows-jdk.msi
- [Mac, Linux] First, install sdkman. Then run
sdk install java 8.292.10.1-amzn
.
How to start?
There are several ways to use kohomology
.
Start from a template project (recommended)
The directory kohomology/template serves as a template project to use kohomology. If you are not familiar with kotlin projects, this is a good starting point. See its README.md for detailed usage.
Start from a new Kotlin project
Create a gradle project as in Get started with Kotlin/JVM | Kotlin
(or use an existing gradle project).
Then write the following in your build.gradle.kts
(or build.gradle
):
- build.gradle.kts
- build.gradle
// If you are using build.gradle.kts (Kotlin script)
repositories {
maven(url = "https://shwaka.github.io/maven/")
}
dependencies {
implementation("com.github.shwaka.kohomology:kohomology:0.12")
}
// If you are using buid.gradle (Groovy)
repositories {
maven {
url 'https://shwaka.github.io/maven/'
}
}
dependencies {
implementation 'com.github.shwaka.kohomology:kohomology:0.12'
}
Try online (easiest)
You can try kohomology
online at Calculator.
This is the easiest way since no installation is required,
but the online calculator has some disadvantages to the above methods:
- It contains very restricted features of
kohomology
. - It is much slower.
References
Introduction to Kotlin
- The official documentation is well-written and is a good starting point.
- We (and the Kotlin official team) strongly recommend to use IntelliJ IDEA to edit Kotlin source codes.
Introduction to rational homotopy theory
- Rational homotopy theory - Wikipedia
- Rational homotopy theory: a brief introduction: a survey due to Hess
- Rational homotopy theory via Sullivan models: a survey: a survey due to Félix and Halperin
- Rational Homotopy Theory (GTM 205): an introductory book on rational homotopy theory (This book has 500 pages, but this library depends mainly only on Section 12)