weights #3
This commit is contained in:
		
							parent
							
								
									3ea8700611
								
							
						
					
					
						commit
						7b4e9a1653
					
				@ -89,10 +89,10 @@ lE =
 | 
			
		||||
      maxDepth = 8,
 | 
			
		||||
      weights =
 | 
			
		||||
        ExpressionWeights
 | 
			
		||||
          { lambdaSpucker = 1,
 | 
			
		||||
            lambdaSchlucker = 2,
 | 
			
		||||
            symbol = 30,
 | 
			
		||||
            variable = 10,
 | 
			
		||||
          { lambdaSpucker = 0,
 | 
			
		||||
            lambdaSchlucker = 10,
 | 
			
		||||
            symbol = 100,
 | 
			
		||||
            variable = 5,
 | 
			
		||||
            constant = 5
 | 
			
		||||
          }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
@ -56,10 +56,10 @@ lE =
 | 
			
		||||
      maxDepth = 8,
 | 
			
		||||
      weights =
 | 
			
		||||
        ExpressionWeights
 | 
			
		||||
          { lambdaSpucker = 1,
 | 
			
		||||
            lambdaSchlucker = 2,
 | 
			
		||||
            symbol = 30,
 | 
			
		||||
            variable = 10,
 | 
			
		||||
          { lambdaSpucker = 0,
 | 
			
		||||
            lambdaSchlucker = 10,
 | 
			
		||||
            symbol = 100,
 | 
			
		||||
            variable = 5,
 | 
			
		||||
            constant = 5
 | 
			
		||||
          }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
@ -77,10 +77,10 @@ lE =
 | 
			
		||||
      maxDepth = 8,
 | 
			
		||||
      weights =
 | 
			
		||||
        ExpressionWeights
 | 
			
		||||
          { lambdaSpucker = 1,
 | 
			
		||||
            lambdaSchlucker = 2,
 | 
			
		||||
            symbol = 30,
 | 
			
		||||
            variable = 10,
 | 
			
		||||
          { lambdaSpucker = 0,
 | 
			
		||||
            lambdaSchlucker = 10,
 | 
			
		||||
            symbol = 100,
 | 
			
		||||
            variable = 5,
 | 
			
		||||
            constant = 5
 | 
			
		||||
          }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user