| 组织ID: |
org.spire-math |
| 项目ID: |
algebra-laws_2.11 |
| 版本: |
0.3.1 |
| 最后修改时间: |
2018-08-09 09:56:48 |
| 包类型: |
jar |
| 标题: |
MIT |
| 描述: |
laws |
| 相关URL: |
http://spire-math.org |
| 大小: |
345.67KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>algebra-laws_2.11</artifactId>
<version>0.3.1</version>
</dependency>
|
| Gradle引入代码: |
org.spire-math:algebra-laws_2.11:0.3.1
|
| 下载Jar包: |
|
| POM文件内容: |
<?xml version='1.0' encoding='UTF-8'?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://maven.apache.org/POM/4.0.0">
<modelVersion>4.0.0</modelVersion>
<groupId>org.spire-math</groupId>
<artifactId>algebra-laws_2.11</artifactId>
<packaging>jar</packaging>
<description>laws</description>
<url>http://spire-math.org</url>
<version>0.3.1</version>
<licenses>
<license>
<name>MIT</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<name>laws</name>
<organization>
<name>org.spire-math</name>
<url>http://spire-math.org</url>
</organization>
<scm>
<url>git@github.com:non/algebra.git</url>
<connection>scm:git:git@github.com:non/algebra.git</connection>
</scm>
<developers>
<developer>
<id>johnynek</id>
<name>P. Oscar Boykin</name>
<url>https://github.com/johnynek/</url>
</developer>
<developer>
<id>avibryant</id>
<name>Avi Bryant</name>
<url>https://github.com/avibryant/</url>
</developer>
<developer>
<id>non</id>
<name>Erik Osheim</name>
<url>http://github.com/non/</url>
</developer>
<developer>
<id>tixxit</id>
<name>Tom Switzer</name>
<url>http://github.com/tixxit/</url>
</developer>
</developers>
<properties>
<info.apiURL>https://non.github.io/algebra/api/</info.apiURL>
</properties>
<dependencies>
<dependency>
<groupId>org.scala-lang</groupId>
<artifactId>scala-library</artifactId>
<version>2.11.7</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>algebra_2.11</artifactId>
<version>0.3.1</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>algebra-std_2.11</artifactId>
<version>0.3.1</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>algebra-macros_2.11</artifactId>
<version>0.3.1</version>
</dependency>
<dependency>
<groupId>org.scalacheck</groupId>
<artifactId>scalacheck_2.11</artifactId>
<version>1.12.4</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>discipline_2.11</artifactId>
<version>0.4</version>
</dependency>
<dependency>
<groupId>org.scalatest</groupId>
<artifactId>scalatest_2.11</artifactId>
<version>3.0.0-M7</version>
<scope>test</scope>
</dependency>
</dependencies>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
algebra.laws.RingLaws.class
algebra.laws.OrderLaws$$anonfun$eqv$5.class
algebra.laws.LogicLaws$$anonfun$heyting$7.class
algebra.laws.GroupLaws$$anonfun$monoid$2.class
algebra.laws.GroupLaws$$anonfun$additiveMonoid$2.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$4.class
algebra.laws.RingLaws$$anon$3.class
algebra.laws.LatticePartialOrderLaws$LatticePartialOrderProperties.class
algebra.laws.BaseLaws$$anonfun$signed$5.class
algebra.laws.Rules$$anonfun$commutative$1.class
algebra.laws.CheckSupport$$anonfun$1$$anonfun$apply$2.class
algebra.laws.BaseLaws$$anon$1.class
algebra.laws.LogicLaws$$anonfun$heyting$1.class
algebra.laws.package$CheckEqOps.class
algebra.laws.GroupLaws$$anonfun$semigroup$2.class
algebra.laws.LogicLaws$$anonfun$heyting$14.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$less$eq$1.class
algebra.laws.GroupLaws$$anonfun$semigroup$1.class
algebra.laws.LogicLaws$$anonfun$heyting$16.class
algebra.laws.GroupLaws$$anonfun$additiveGroup$2.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$2.class
algebra.laws.BaseLaws$$anonfun$isReal$7$$anonfun$apply$11.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$3.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedMeetSemilatticePartialOrder$1.class
algebra.laws.LogicLaws$$anon$1.class
algebra.laws.Rules$$anonfun$leftInverse$1.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedMeetSemilatticePartialOrder$2.class
algebra.laws.LogicLaws$$anonfun$heyting$26.class
algebra.laws.LatticeLaws$class.class
algebra.laws.Rules$$anonfun$commutative$2.class
algebra.laws.GroupLaws$$anonfun$group$4.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$less$1.class
algebra.laws.OrderLaws$$anonfun$eqv$12.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$4.class
algebra.laws.OrderLaws$$anonfun$partialOrder$8.class
algebra.laws.RingLaws$RingProperties$$anon$4.class
algebra.laws.Rules$$anonfun$consistentInverse$1.class
algebra.laws.GroupLaws$$anonfun$monoid$5.class
algebra.laws.OrderLaws$class.class
algebra.laws.package$BooleanOps.class
algebra.laws.RingLaws$$anon$1$$anon$2$$anonfun$Arb$1.class
algebra.laws.GroupLaws$$anonfun$additiveSemigroup$1.class
algebra.laws.LatticePartialOrderLaws$$anon$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$2$$anonfun$apply$1$$anonfun$apply$2.class
algebra.laws.GroupLaws$$anonfun$band$1.class
algebra.laws.Rules$$anonfun$distributive$4.class
algebra.laws.OrderLaws$$anonfun$eqv$3.class
algebra.laws.Platform.class
algebra.laws.LogicLaws$class.class
algebra.laws.Rules$$anonfun$repeat2$2.class
algebra.laws.BaseLaws$$anonfun$isReal$1.class
algebra.laws.LogicLaws$$anonfun$heyting$5$$anonfun$apply$2.class
algebra.laws.LogicLaws$$anonfun$heyting$6.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$1.class
algebra.laws.LogicLaws$$anonfun$bool$1.class
algebra.laws.Rules$$anonfun$collect0$2.class
algebra.laws.Platform$$anonfun$serializable$1.class
algebra.laws.NRootLaws$$anonfun$nroot$5.class
algebra.laws.LogicLaws$$anonfun$heyting$32.class
algebra.laws.LogicLaws$$anonfun$heyting$27$$anonfun$apply$16.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$1.class
algebra.laws.LogicLaws$$anonfun$heyting$12.class
algebra.laws.LogicLaws$$anonfun$heyting$3$$anonfun$apply$1.class
algebra.laws.OrderLaws$$anonfun$eqv$2.class
algebra.laws.LogicLaws$$anonfun$heyting$31.class
algebra.laws.RingLaws$class.class
algebra.laws.LogicLaws$$anonfun$heyting$18.class
algebra.laws.OrderLaws$$anonfun$eqv$1$$anonfun$apply$1.class
algebra.laws.LogicLaws$$anonfun$heyting$7$$anonfun$apply$3.class
algebra.laws.Rules$$anonfun$rightInverse$1$$anonfun$apply$5.class
algebra.laws.NRootLaws$class.class
algebra.laws.BaseLaws$$anonfun$signed$6.class
algebra.laws.Rules$$anonfun$isId$1.class
algebra.laws.BaseLaws$$anonfun$isReal$6.class
algebra.laws.LatticeLaws$LatticeProperties$$anonfun$1.class
algebra.laws.Rules$$anonfun$collect0$1.class
algebra.laws.GroupLaws$AdditiveProperties.class
algebra.laws.Rules$$anonfun$distributive$1$$anonfun$apply$15.class
algebra.laws.LogicLaws$$anonfun$heyting$35.class
algebra.laws.OrderLaws$$anonfun$partialOrder$6.class
algebra.laws.BaseLaws$$anonfun$signed$2.class
algebra.laws.Rules$$anonfun$idempotence$1$$anonfun$apply$7.class
algebra.laws.Rules$$anonfun$commutative$3.class
algebra.laws.OrderLaws$$anonfun$eqv$6$$anonfun$apply$3.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$2.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$1$$anonfun$apply$2.class
algebra.laws.Rules$$anonfun$idempotence$2.class
algebra.laws.GroupLaws$$anonfun$additiveSemigroup$2.class
algebra.laws.NRootLaws$$anonfun$nroot$4.class
algebra.laws.LogicLaws$$anonfun$heyting$24.class
algebra.laws.LogicLaws$$anonfun$heyting$33$$anonfun$apply$18.class
algebra.laws.LogicLaws$$anonfun$heyting$13.class
algebra.laws.LogicLaws$$anonfun$heyting$38.class
algebra.laws.LogicLaws$$anonfun$heyting$19.class
algebra.laws.LogicLaws$$anonfun$heyting$21.class
algebra.laws.OrderLaws$$anonfun$eqv$10$$anonfun$apply$4.class
algebra.laws.BaseLaws$BaseRuleSet.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$2.class
algebra.laws.OrderLaws$$anon$1.class
algebra.laws.GroupLaws$class.class
algebra.laws.OrderLaws$$anonfun$eqv$8.class
algebra.laws.RingLaws$$anonfun$semiring$1.class
algebra.laws.LogicLaws$$anonfun$heyting$34.class
algebra.laws.LogicLaws$$anonfun$heyting$36.class
algebra.laws.CheckSupport$$anonfun$1$$anonfun$apply$3.class
algebra.laws.NRootLaws$.class
algebra.laws.BaseLaws$$anonfun$isReal$5.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$1$$anonfun$apply$3.class
algebra.laws.Rules$$anonfun$leftIdentity$1.class
algebra.laws.GroupLaws$$anonfun$group$7.class
algebra.laws.Rules$$anonfun$repeat2$1.class
algebra.laws.Rules$$anonfun$isId$2.class
algebra.laws.Rules$.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$2.class
algebra.laws.LatticeLaws$$anonfun$lattice$1.class
algebra.laws.BaseLaws$$anonfun$isReal$2.class
algebra.laws.Rules$$anonfun$distributive$1$$anonfun$apply$14.class
algebra.laws.LogicLaws$$anonfun$heyting$24$$anonfun$apply$15.class
algebra.laws.LogicLaws$$anonfun$heyting$30$$anonfun$apply$17.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$greater$1.class
algebra.laws.BaseLaws.class
algebra.laws.OrderLaws$$anonfun$eqv$11.class
algebra.laws.OrderLaws$$anonfun$eqv$4.class
algebra.laws.LogicLaws$$anonfun$heyting$14$$anonfun$apply$12.class
algebra.laws.GroupLaws$$anonfun$additiveSemigroup$3.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$2.class
algebra.laws.GroupLaws$$anonfun$group$3.class
algebra.laws.package$BooleanOps$$anonfun$$qmark$amp$amp$1.class
algebra.laws.OrderLaws$$anonfun$partialOrder$2.class
algebra.laws.Rules$$anonfun$associativity$3.class
algebra.laws.RingLaws$$anon$1$$anon$2.class
algebra.laws.GroupLaws$$anon$1.class
algebra.laws.package$CheckEqOps$$anonfun$$qmark$bang$eq$1.class
algebra.laws.NRootLaws$$anonfun$nroot$3.class
algebra.laws.LogicLaws$$anonfun$heyting$21$$anonfun$apply$14.class
algebra.laws.OrderLaws$$anonfun$eqv$1.class
algebra.laws.OrderLaws$OrderProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$7.class
algebra.laws.GroupLaws$$anonfun$group$1.class
algebra.laws.Rules$$anonfun$consistentInverse$2.class
algebra.laws.Rules$$anonfun$distributive$1$$anonfun$apply$15$$anonfun$apply$16.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$1$$anonfun$apply$1.class
algebra.laws.Rules$$anonfun$rightIdentity$2.class
algebra.laws.BaseLaws$$anonfun$isReal$1$$anonfun$apply$5.class
algebra.laws.BaseLaws$$anonfun$isReal$7.class
algebra.laws.CheckSupport$$anonfun$1$$anonfun$apply$1.class
algebra.laws.package.class
algebra.laws.LogicLaws$$anonfun$heyting$25.class
algebra.laws.LatticeLaws$$anonfun$lattice$2.class
algebra.laws.LogicLaws$$anonfun$heyting$12$$anonfun$apply$10$$anonfun$apply$11.class
algebra.laws.package$Ops$$anonfun$2.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$1.class
algebra.laws.GroupLaws$$anonfun$additiveGroup$3.class
algebra.laws.LogicLaws$.class
algebra.laws.OrderLaws$$anonfun$eqv$6.class
algebra.laws.OrderLaws$.class
algebra.laws.NRootLaws$$anonfun$nroot$1$$anonfun$apply$2$$anonfun$apply$3.class
algebra.laws.Rules$$anonfun$isId$1$$anonfun$apply$13.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$3.class
algebra.laws.LogicLaws$$anonfun$heyting$17$$anonfun$apply$13.class
algebra.laws.OrderLaws$$anonfun$partialOrder$18.class
algebra.laws.GroupLaws$$anonfun$semigroup$3.class
algebra.laws.LogicLaws$$anonfun$heyting$39.class
algebra.laws.BaseLaws$$anonfun$isReal$3.class
algebra.laws.RingLaws$RingProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$40.class
algebra.laws.OrderLaws$$anonfun$partialOrder$1$$anonfun$apply$5.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$3.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$greater$eq$1.class
algebra.laws.GroupLaws$GroupProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$12$$anonfun$apply$9.class
algebra.laws.Rules$$anonfun$distributive$1.class
algebra.laws.GroupLaws$$anonfun$monoid$3.class
algebra.laws.GroupLaws$$anonfun$commutativeSemigroup$1.class
algebra.laws.GroupLaws$$anonfun$additiveMonoid$1.class
algebra.laws.RingLaws$$anonfun$semiring$2.class
algebra.laws.BaseLaws$$anonfun$signed$3$$anonfun$apply$2.class
algebra.laws.LatticePartialOrderLaws$class.class
algebra.laws.CheckSupport.class
algebra.laws.LatticeLaws$.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$1.class
algebra.laws.Rules$$anonfun$associativity$4.class
algebra.laws.Rules$$anonfun$repeat1$1$$anonfun$apply$10.class
algebra.laws.LogicLaws$$anonfun$heyting$30.class
algebra.laws.OrderLaws$$anonfun$partialOrder$13$$anonfun$apply$9.class
algebra.laws.BaseLaws$class.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$3.class
algebra.laws.BaseLaws$$anonfun$isReal$5$$anonfun$apply$9.class
algebra.laws.LatticeLaws$LatticeProperties$$anonfun$2.class
algebra.laws.NRootLaws$$anonfun$nroot$2.class
algebra.laws.Rules$$anonfun$idempotence$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$2.class
algebra.laws.GroupLaws$$anonfun$group$6.class
algebra.laws.OrderLaws$$anonfun$partialOrder$17.class
algebra.laws.NRootLaws$$anon$1.class
algebra.laws.OrderLaws$$anonfun$partialOrder$7.class
algebra.laws.package$CheckEqOps$$anonfun$$qmark$eq$eq$1.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$2$$anonfun$apply$3.class
algebra.laws.LogicLaws$$anonfun$heyting$23.class
algebra.laws.LatticePartialOrderLaws$.class
algebra.laws.RingLaws$$anon$1.class
algebra.laws.Rules$$anonfun$collect0$1$$anonfun$apply$12.class
algebra.laws.LogicLaws$$anonfun$heyting$40$$anonfun$apply$20.class
algebra.laws.LogicLaws$$anonfun$heyting$27.class
algebra.laws.Rules.class
algebra.laws.LogicLaws$LogicProperties.class
algebra.laws.OrderLaws$$anonfun$order$3.class
algebra.laws.NRootLaws$$anonfun$nroot$1$$anonfun$apply$2.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$4.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$3.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$5.class
algebra.laws.GroupLaws$$anonfun$additiveGroup$1.class
algebra.laws.LogicLaws$$anonfun$heyting$28.class
algebra.laws.LogicLaws$$anonfun$heyting$29.class
algebra.laws.Rules$$anonfun$repeat0$1.class
algebra.laws.BaseLaws$$anonfun$isReal$3$$anonfun$apply$6.class
algebra.laws.LogicLaws$$anonfun$heyting$15.class
algebra.laws.OrderLaws$$anonfun$eqv$9.class
algebra.laws.Rules$$anonfun$associativity$1.class
algebra.laws.LatticeLaws$LatticeProperties.class
algebra.laws.BaseLaws$$anonfun$isReal$5$$anonfun$apply$8.class
algebra.laws.GroupLaws.class
algebra.laws.Rules$$anonfun$repeat0$1$$anonfun$apply$9.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$5$$anonfun$apply$6.class
algebra.laws.LogicLaws.class
algebra.laws.OrderLaws$$anonfun$partialOrder$10$$anonfun$apply$8.class
algebra.laws.LogicLaws$$anonfun$heyting$11.class
algebra.laws.package$Ops$.class
algebra.laws.Rules$$anonfun$associativity$2.class
algebra.laws.OrderLaws.class
algebra.laws.BaseLaws$$anonfun$isReal$4.class
algebra.laws.LogicLaws$$anonfun$heyting$17.class
algebra.laws.OrderLaws$$anonfun$partialOrder$9.class
algebra.laws.LogicLaws$$anonfun$bool$1$$anonfun$apply$21.class
algebra.laws.NRootLaws.class
algebra.laws.GroupLaws$$anonfun$monoid$4.class
algebra.laws.LogicLaws$$anonfun$heyting$33.class
algebra.laws.NRootLaws$$anonfun$nroot$6.class
algebra.laws.OrderLaws$$anonfun$order$1$$anonfun$apply$11.class
algebra.laws.OrderLaws$$anonfun$eqv$10.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$7$$anonfun$apply$8.class
algebra.laws.OrderLaws$$anonfun$partialOrder$16$$anonfun$apply$10.class
algebra.laws.GroupLaws$$anonfun$semigroup$4.class
algebra.laws.package$$anon$1.class
algebra.laws.LogicLaws$$anonfun$bool$2.class
algebra.laws.OrderLaws$$anonfun$order$1.class
algebra.laws.LogicLaws$$anonfun$heyting$20.class
algebra.laws.OrderLaws$$anonfun$partialOrder$14.class
algebra.laws.LatticeLaws$$anon$1.class
algebra.laws.OrderLaws$$anonfun$partialOrder$16.class
algebra.laws.GroupLaws$.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedMeetSemilatticePartialOrder$1$$anonfun$apply$4.class
algebra.laws.Rules$$anonfun$consistentInverse$3.class
algebra.laws.package$CheckOrderOps.class
algebra.laws.package$.class
algebra.laws.RingLaws$RingProperties$.class
algebra.laws.Rules$$anonfun$rightIdentity$1.class
algebra.laws.BaseLaws$$anonfun$isReal$8.class
algebra.laws.Platform$.class
algebra.laws.LatticePartialOrderLaws.class
algebra.laws.CheckSupport$.class
algebra.laws.LogicLaws$$anonfun$heyting$4.class
algebra.laws.OrderLaws$$anonfun$partialOrder$13.class
algebra.laws.LogicLaws$$anonfun$heyting$3.class
algebra.laws.OrderLaws$$anonfun$partialOrder$12.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
scala-library-2.11.7.jar
/org.scala-lang/scala-library/2.11.7
查看scala-library所有版本文件
algebra_2.11-0.3.1.jar
/org.spire-math/algebra_2.11/0.3.1
查看algebra_2.11所有版本文件
algebra-std_2.11-0.3.1.jar
/org.spire-math/algebra-std_2.11/0.3.1
查看algebra-std_2.11所有版本文件
algebra-macros_2.11-0.3.1.jar
/org.spire-math/algebra-macros_2.11/0.3.1
查看algebra-macros_2.11所有版本文件
scalacheck_2.11-1.12.4.jar
/org.scalacheck/scalacheck_2.11/1.12.4
查看scalacheck_2.11所有版本文件
discipline_2.11-0.4.jar
/org.typelevel/discipline_2.11/0.4
查看discipline_2.11所有版本文件
scalatest_2.11-3.0.0-M7.jar
/org.scalatest/scalatest_2.11/3.0.0-M7
查看scalatest_2.11所有版本文件
|
查看algebra-laws_2.11所有版本文件