variation 4
This commit is contained in:
		
							parent
							
								
									c6de876e2d
								
							
						
					
					
						commit
						f832a380b1
					
				@ -89,10 +89,10 @@ lE =
 | 
			
		||||
      maxDepth = 5,
 | 
			
		||||
      weights =
 | 
			
		||||
        ExpressionWeights
 | 
			
		||||
          { lambdaSpucker = 1,
 | 
			
		||||
            lambdaSchlucker = 2,
 | 
			
		||||
            symbol = 30,
 | 
			
		||||
            variable = 10,
 | 
			
		||||
          { lambdaSpucker = 10,
 | 
			
		||||
            lambdaSchlucker = 1,
 | 
			
		||||
            symbol = 20,
 | 
			
		||||
            variable = 100,
 | 
			
		||||
            constant = 5
 | 
			
		||||
          }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
@ -56,10 +56,10 @@ lE =
 | 
			
		||||
      maxDepth = 5,
 | 
			
		||||
      weights =
 | 
			
		||||
        ExpressionWeights
 | 
			
		||||
          { lambdaSpucker = 1,
 | 
			
		||||
            lambdaSchlucker = 2,
 | 
			
		||||
            symbol = 30,
 | 
			
		||||
            variable = 10,
 | 
			
		||||
          { lambdaSpucker = 10,
 | 
			
		||||
            lambdaSchlucker = 1,
 | 
			
		||||
            symbol = 20,
 | 
			
		||||
            variable = 100,
 | 
			
		||||
            constant = 5
 | 
			
		||||
          }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
@ -77,10 +77,10 @@ lE =
 | 
			
		||||
      maxDepth = 5,
 | 
			
		||||
      weights =
 | 
			
		||||
        ExpressionWeights
 | 
			
		||||
          { lambdaSpucker = 1,
 | 
			
		||||
            lambdaSchlucker = 2,
 | 
			
		||||
            symbol = 30,
 | 
			
		||||
            variable = 10,
 | 
			
		||||
          { lambdaSpucker = 10,
 | 
			
		||||
            lambdaSchlucker = 1,
 | 
			
		||||
            symbol = 20,
 | 
			
		||||
            variable = 100,
 | 
			
		||||
            constant = 5
 | 
			
		||||
          }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user