Commit Graph

Select branches

Hide Pull Requests

1712.07167

ArXiv/1703.09680

AutFn

enh/NCRing_interface

enh/julia-v0.7

enh/staralgebras

enh/use_star

fbot/deps

fix/groups_only_in_tests

master

update_groups

v0.6

#1

#2

#4

#5

#6

#7

#8

v0.3.4

v0.3.5

Mono Color

• 5b128cd146 brave new inner constructors for GroupRing kalmar 2017-07-19 22:48:17 +0200
• f2ad7c8045 new version of *, with optional check::Bool=true kalmar 2017-07-19 22:43:46 +0200
• f586cb5146 remove mul functions: * should call mul! directly kalmar 2017-07-19 22:41:15 +0200
• 5c2fabfb08 make another version of mul! for GroupRingElts kalmar 2017-07-19 22:38:17 +0200
• 4c275460cc indentation kalmar 2017-07-19 22:19:58 +0200
• 3166c588b1 remove checks from addeq! kalmar 2017-07-19 22:17:06 +0200
• 7390f4699e add check::Bool=true to add(::GroupRingElem, ::GroupRingElem) kalmar 2017-07-19 22:15:47 +0200
• f939a2ae27 Revert "Type experiment: parametrise GroupRingElem after types of its parent" kalmar 2017-07-19 13:33:55 +0200
• 1a77e8a2bc faster (RG::GroupRing)(i::Int) kalmar 2017-07-17 09:32:38 +0200
• b3024a36c6 Merge branch 'enh/mul_addeq' of https://git.wmi.amu.edu.pl/kalmar/GroupRings.jl into enh/mul_addeq kalmar 2017-07-17 09:25:31 +0200
• 75a83da8cb Type experiment: parametrise GroupRingElem after types of its parent kalmar 2017-07-17 09:24:56 +0200
• c1e2d4209a to match e.g. sparse and dense zeros... ugly kalmar 2017-07-16 21:45:24 +0200
• 8daa86df31 try...catch are slow kalmar 2017-07-16 21:44:42 +0200
• a66d7755ae fix copy-paste mistake kalmar 2017-07-12 20:56:59 +0200
• fc3cbeb14c preserve type of coerced element kalmar 2017-07-12 20:54:20 +0200
• 6ac5800379 allocation-free multiplication! kalmar 2017-07-12 20:53:17 +0200
• ee3b4e0761 allocation-free multiplication! kalmar 2017-07-12 20:43:12 +0200
• 6e95eae583 convert only if type of the product and result disagree kalmar 2017-07-12 14:31:51 +0200
• b40b9f94eb in mul! promote to the common type only if necessary kalmar 2017-07-12 11:34:43 +0200
• 4e213c691d throw if dividing by a non-unit kalmar 2017-07-11 22:37:53 +0200
• 90106359e4 add tests for the silent failure kalmar 2017-07-11 18:43:37 +0200
• 8a3a4c70d6 critical fix: if g was not in basis setindex! failed silently kalmar 2017-07-11 18:28:30 +0200
• 9f6287382d small tweaks to printing kalmar 2017-07-11 18:44:08 +0200
• 7ce52c6997 GroupRing.star -> GroupRings.star kalmar 2017-07-11 18:44:34 +0200
• 4cb4d299de small tweaks to printing kalmar 2017-07-11 18:44:08 +0200
• f852a6ca8e add tests for the silent failure kalmar 2017-07-11 18:43:37 +0200
• ffee54616a critical fix: if g was not in basis setindex! failed silently kalmar 2017-07-11 18:28:30 +0200
• eba594b7a4 sanity test mul!(a,a,b) == a*b kalmar 2017-07-11 16:18:11 +0200
• 51c638fd65 mul! function for GroupRingElems (different coeffs) kalmar 2017-07-11 16:16:41 +0200
• b80db52742 deepcopy result if result === X to prevent X from zeroing kalmar 2017-07-11 16:02:43 +0200
• 5a3e2761a4 change throw message kalmar 2017-07-11 16:01:42 +0200
• ed023be1fd zero the array where product of X and Y is stored kalmar 2017-07-11 16:00:50 +0200
• 8d22162504 implement Array protocol for GroupRingElem kalmar 2017-07-11 15:59:15 +0200
• e92a5d72e8 add divexact function kalmar 2017-07-11 15:58:45 +0200
• 27e0b03b3c move type-related functions to one location kalmar 2017-07-11 15:58:02 +0200
• 63b4a0594f Revert "add mul! and addeq! for MatrixSpace construction" kalmar 2017-07-10 19:29:53 +0200
• 688dfa5062 result is the firs argument of mul! kalmar 2017-07-10 19:28:19 +0200
• dd518574ff fix: zero result coeffs before jumping into loopy mul! kalmar 2017-07-10 19:27:28 +0200
• 8463b928cb add RG(i::Int) = i*(id) function kalmar 2017-07-10 19:26:44 +0200
• 3b9e405565 use a single zero object to compare kalmar 2017-07-10 19:25:52 +0200
• 56a0964f30 better printing kalmar 2017-07-10 19:21:38 +0200
• 5fb131c390 add mul! and addeq! for MatrixSpace construction kalmar 2017-07-09 14:56:11 +0200
• e4ed91b473 rename generators(G::Group) -> gens(G::Group) kalmar 2017-07-06 17:30:19 +0200
• 7fb68f8c68 initial @compat changes, works on v0.6 without warnings kalmar 2017-07-06 17:29:10 +0200
• db02dbb97c add zero(RG::GroupRing) kalmar 2017-07-06 10:09:43 +0200
• 19f6906d33 add parent_type(::Type{GroupRingElem}) kalmar 2017-07-06 10:06:17 +0200
• 6a22b91c1e drop 0.5 from julia REQUIRE kalmar 2017-07-05 13:25:14 +0200
• 35fc74e6f2 fix multiple dispatch of scalar * kalmar 2017-06-06 22:29:02 +0200
• 962a9e6e73 Revert "reparametrise parent call overloads" kalmar 2017-06-06 22:25:01 +0200
• a726462488 Merge branch 'enh/Nemoification' of git.wmi.amu.edu.pl:kalmar/GroupRings.jl into enh/Nemoification kalmar 2017-06-06 18:46:11 +0200
• e61b573642 multiple dispatch of * and mul! kalmar 2017-06-06 18:44:53 +0200
• 292806db17 multiple dispatch of * instead of scalar mult kalmar 2017-06-06 18:44:00 +0200
• 61ed1f7870 rename groupring_mult[!] -> mul[!] kalmar 2017-06-06 11:46:15 +0200
• fe1f552b26 Merge branch 'enh/Nemoification' of https://git.wmi.amu.edu.pl/kalmar/GroupRings.jl into enh/Nemoification kalmar 2017-06-06 00:12:15 +0200
• 4b86d5d075 reparametrise parent call overloads kalmar 2017-06-06 00:03:38 +0200
• 43d78c97f8 parametrise GroupRing by Group and GroupElem kalmar 2017-06-05 23:50:15 +0200
• 1e75372068 in setindex! perform coercion only when necessary kalmar 2017-06-05 21:38:03 +0200
• b2231c44e6 coercion to GroupRing via specified function on underlying groups kalmar 2017-06-05 21:37:11 +0200
• 7ba59d6508 safer coercion of GroupRingElem to GroupRing kalmar 2017-06-05 21:36:31 +0200
• 0972cd1fdc tests: fix GroupRingElem printing kalmar 2017-06-05 11:14:24 +0200
• a03420e6d3 tests: fix GroupRing initialisation kalmar 2017-06-05 11:14:09 +0200
• 986dd3dae1 deprecate groupring_mult in favour of multiple dispatch of (*) kalmar 2017-06-05 11:03:23 +0200
• 2eeb85d2ed Allow limited use of GroupRings without basis kalmar 2017-06-05 11:02:38 +0200
• 1e990f5896 better show of ::GroupRingElem kalmar 2017-05-19 10:32:09 +0200
• 6379c76646 change full -> initialise keyword; the default is to initialise by default kalmar 2017-05-19 10:00:41 +0200
• 5a26aaa5cb need vector for basis; collect(Base.product) preserves the structure kalmar 2017-05-18 21:50:57 +0200
• faf1b94bae remove generators (for now) kalmar 2017-05-18 21:49:57 +0200
• 27e9ce254f try to coerce before throwing error kalmar 2017-05-18 21:49:12 +0200
• 45fc421da7 more tests kalmar 2017-05-18 17:58:31 +0200
• ca3ec95ea2 rationalize for Integral Group Rings kalmar 2017-05-18 17:58:13 +0200
• 92daac300b one(GroupRing) returns multiplicative identity kalmar 2017-05-18 17:57:15 +0200
• e3fa702507 length of GroupRingElem is the size of its support kalmar 2017-05-18 17:56:46 +0200
• c7477dd25f more tests kalmar 2017-05-18 12:19:52 +0200
• 148c8e2611 rational division for integral group rings kalmar 2017-05-18 12:19:41 +0200
• 486f2cff9a add eltype(::GroupRingElem) kalmar 2017-05-18 12:19:12 +0200
• 9048eb656d first batch of tests kalmar 2017-05-17 17:45:19 +0200
• 3c8022b59d export complete, create_pm kalmar 2017-05-17 17:45:03 +0200
• 408c5a34e3 create_pm convenience kalmar 2017-05-17 17:44:51 +0200
• 07cc7eff16 generators of GroupRing (symmetric generating set) kalmar 2017-05-17 17:44:36 +0200
• 396f5b529c check basis equality for (==) of GroupRings kalmar 2017-05-17 17:44:13 +0200
• 4f5f6c685a format kalmar 2017-05-17 17:43:37 +0200
• bef0b67af6 modify reverse_dict to allow generator arg kalmar 2017-05-17 17:43:11 +0200
• e18e90ddaf fix equality of GroupRing elements with different types of coeffs kalmar 2017-05-17 17:41:34 +0200
• 4491078b9e adapt GroupRing constructors to new type definition kalmar 2017-05-17 17:40:32 +0200
• 203743bb4d hide correctness check of GroupRingElem behind check arg kalmar 2017-05-17 17:39:56 +0200
• 796f04261d rework (RG::GroupRing) overloads, allowing Type argument kalmar 2017-05-17 17:39:05 +0200
• 9b8c2f6b45 rearange fields in GroupRing; second internal constructor (full) kalmar 2017-05-17 17:36:29 +0200
• 15af76f068 formatting kalmar 2017-05-17 14:38:00 +0200
• 0dd23532ac Type-parametrised star(::GroupRingElem) kalmar 2017-05-17 14:37:22 +0200
• 50e54fbe3b division works the other way kalmar 2017-05-17 14:36:55 +0200
• 0c0b3551b2 workaround Nemo-defined (*)(::Integer, RingElem) kalmar 2017-05-17 14:36:23 +0200
• 26abb88b3a get parametrised type constructor finally right kalmar 2017-05-17 14:33:49 +0200
• 7994c2d308 GroupRingElem is just a RingElem kalmar 2017-05-17 14:32:17 +0200
• 1393810781 parents are always defined for GroupRingElems kalmar 2017-05-17 12:51:08 +0200
• 20f0734d6f avoid comparison warnings in show kalmar 2017-05-17 12:50:46 +0200
• 05b7274ee7 rename k to value kalmar 2017-05-17 12:49:45 +0200
• 3176172f23 isdefined(::GroupRing, :basis) safety checks kalmar 2017-05-17 12:49:12 +0200
• b73aebe33a star-involution using setindex! kalmar 2017-05-17 12:34:24 +0200
• 5913206954 this promotion has no effect kalmar 2017-05-17 12:33:37 +0200
• 6dec41ad18 adapt for groupring_mlt! in-place modification kalmar 2017-05-17 12:33:16 +0200