| 
						
					 | 
					
						
						
						
						
							
						
						
							2a6e79520e
							
						
					 | 
					
						
						
							
							continuing on permutations - implemented Sn characters
						
						
						
						
						
						
					 | 
					
						2021-06-04 15:21:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							40fe368c31
							
						
					 | 
					
						
						
							
							continueing on partitions
						
						
						
						
						
						
					 | 
					
						2021-05-24 22:12:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							7d9fc46784
							
						
					 | 
					
						
						
							
							continueing on partitions
						
						
						
						
						
						
					 | 
					
						2021-05-24 18:46:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6135a4b595
							
						
					 | 
					
						
						
							
							fixed clear() for nested types
						
						
						
						
						
						
					 | 
					
						2021-05-24 18:45:58 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							222c1cfb8c
							
						
					 | 
					
						
						
							
							continue on partitions
						
						
						
						
						
						
					 | 
					
						2021-05-23 10:28:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							80eb98411f
							
						
					 | 
					
						
						
							
							Implemented deep copyonwrite() for nested types
						
						
						
						
						
						
					 | 
					
						2021-05-23 10:28:10 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							88628fb306
							
						
					 | 
					
						
						
							
							progressing on partitions
						
						
						
						
						
						
					 | 
					
						2021-05-21 14:09:19 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							4be6df3317
							
						
					 | 
					
						
						
							
							working on permutations...
						
						
						
						
						
						
					 | 
					
						2021-05-21 09:07:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							f574d33a92
							
						
					 | 
					
						
						
							
							modified permutation.cc to be compilable with older g++
						
						
						
						
						
						
					 | 
					
						2021-05-20 15:06:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							78c94f1e17
							
						
					 | 
					
						
						
							
							continueing on permutations
						
						
						
						
						
						
					 | 
					
						2021-05-19 22:29:47 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							83b9463334
							
						
					 | 
					
						
						
							
							continue implementing permutations
						
						
						
						
						
						
					 | 
					
						2021-05-14 17:39:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							60e8a379f5
							
						
					 | 
					
						
						
							
							progressing implementation of permutations
						
						
						
						
						
						
					 | 
					
						2021-05-13 16:45:10 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							01665674c5
							
						
					 | 
					
						
						
							
							implementation of permutations in progress
						
						
						
						
						
						
					 | 
					
						2021-05-13 15:01:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							36d473dfb9
							
						
					 | 
					
						
						
							
							implemented NRVec_from1 (indexing from 1)
						
						
						
						
						
						
					 | 
					
						2021-05-13 14:16:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							0d9d9e5b07
							
						
					 | 
					
						
						
							
							added #ifdef to avoid complaints about 'register' by C++17 compilers
						
						
						
						
						
						
					 | 
					
						2021-05-06 11:37:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							9fd42584f5
							
						
					 | 
					
						
						
							
							updated readme
						
						
						
						
						
						
					 | 
					
						2021-04-22 11:23:23 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							7296086860
							
						
					 | 
					
						
						
							
							added some aux files previously not migrated
						
						
						
						
						
						
					 | 
					
						2021-04-21 17:44:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							de686cb4c1
							
						
					 | 
					
						
						
							
							changed version in  configure.ac
						
						
						
						
						
						
					 | 
					
						2021-04-21 17:32:55 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							118aff82bd
							
						
					 | 
					
						
						
							
							Version 1.0 migration to git
						
						
						
						
						
						
					 | 
					
						2021-04-21 17:28:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							c7846f2319
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2021-04-21 14:01:14 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							e4937a41f0
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2021-04-21 13:04:37 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							853008caf1
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-06-12 12:29:35 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							3c3b28053c
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-06-11 15:19:25 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							68fb886418
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-05-20 16:31:10 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b92abcdb2
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-05-20 16:27:52 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							23d53f9a34
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-12 08:55:26 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2dd7737825
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-08 21:32:02 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							ef02c16f28
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-06 20:50:34 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							086c2202be
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-06 14:52:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							faf719660c
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-05 20:22:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							20a34fbc52
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-04 21:58:49 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2ab28bb5e8
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-04 20:28:03 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b469ad619
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-04 17:55:58 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							2cb9b28ee3
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-01 09:58:51 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							8529a746df
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2020-01-01 09:22:55 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							c466dfadf8
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-31 17:49:39 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							31c724ad27
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-30 15:41:36 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							45bdb8c94f
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-30 15:15:12 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							f0c66e0428
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-12-30 14:42:10 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							d8563301d4
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-11-13 22:22:25 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							40469916fa
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-11-12 23:52:44 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							f8ac9262c7
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-11-11 20:12:42 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							4151cda15d
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2019-03-30 17:01:03 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							9dd4b18976
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2018-11-07 18:21:59 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							de49120e1b
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2018-11-03 18:17:13 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							0be3cee927
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2017-11-07 00:28:14 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							af3f2362c9
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2017-11-01 15:20:58 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							ebf079f739
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2017-09-27 21:13:48 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							1ba3aab5ea
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2016-06-29 12:32:46 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								jiri
							
						 
					 | 
					
						
						
						
						
							
						
						
							360eb60a97
							
						
					 | 
					
						
						
							
							*** empty log message ***
						
						
						
						
						
						
					 | 
					
						2016-06-28 13:07:54 +00:00 | 
					
					
						
						
							
							
							
						
					 |