我使用SymPy表达式来计算表达式,比如a + 3 * b,然后我想用Z3来验证它(例如,所有正a, b的a + 3 * b > 0 )。
我找不到用a, b对象替换SymPy符号的方法,在一般情况下,用Z3对象替换Z3符号。
import sympy
from z3 import *
a = sympy.Symbol('a')
b = sympy.Symbol('b')
t = Real('t')
w = Real('w')
e = a + 3 * b
e = e.subs({a:t, b:w}) # does n
假设我有3个元素,我想要检查它们是否在可迭代(str或list)中。
现在我将使用一个str作为示例,但是在列表的情况下应该是相同的:
假设要检查的值是'a','b','c'和要搜索的字符串,则是保存在变量line中的'abcd'。
这样做有“两种”一般方式:
一是做多个检查
if 'a' in line and 'b' in line and 'c' in line:
#Do something
pass
另一种是使用all
if all( sub_str in l
我想检查字符串的第一个字符是大写、小写还是其他任何字符。我尝试了这段代码,但是我无法进入最后一个else,尽管前两个条件是假的。
#!/bin/bash
echo "enter var: "
read var
if [[ {$var::1 =~ [A-Z] ]]
then
echo "UpperCase"
elif [[ {$var::1} =~ [a-z] ]]
then
echo "LowerCase"
else
echo "Digit or a symbol"
fi
exit
当我进入1hello时,我得到
所以我有几个问题,作为一个想学习奥卡莫的新手。
在函数中,我经常会看到一个函数,这意味着什么?另外,为什么函数有时被定义为:让rec a= function为什么它具体等于函数,然后等于代码?
然而,我的主要问题是,我试图编写一个函数来计算一个元素在列表中存在的次数,所以如果我有1,5, 5,6,9的目标val为5,那么我将返回2,如果目标val为9,那么我将返回1,因为它只重复一次。
这是我的尝试,请告诉我我做错了什么:
let rec track (x, l)= let rec helper(x,l, count)
in counthelper
match l wi
关于Couchbase文档
我看到了:
REGEXP_CONTAINS(expression, pattern)
Returns True if the string value contains the regular expression pattern.
REGEXP_LIKE(expression, pattern)
Returns True if the string value contains the regular expression pattern.
这个函数之间有什么区别吗?或者是另一个函数的别名?
当术语I‘greping’明显位于正在‘greping’的字符串中时,我显然遗漏了grep返回0的内容:
在这个例子中,我检查字符串x是否在字符串y中:
x
[1] "c.3963+1G>T"
y
[1] "c.3963+1G>T"
grep(x, y)
integer(0)
x == y
[1] TRUE
这些字符串是由我在一个向量上做的一系列字符串分割而成的。为什么会出现这种行为,即使x在y中,grep也会返回0(在本例中,它们甚至被认为是等价的)?
今天,我在拆分函数上遇到了一些困难,我通过来查看我是否错误地解释了什么东西。我试图在'.‘上拆分一个字符串,根据perlfunc应该支持这个字符串:
my $string = "hello.world";
my ($hello, $world) = split(".", $string);
或
my $string = "hello.world";
my ($hello, $world) = split(/\./, $string);
但是,测试第一个变量会产生空变量,因此我将测试扩展到以下几个方面:
#!/usr/bin/perl
u
我希望理解下面引用的书中的一个例子。我知道这是关于模式匹配的,但是我在哪里可以找到对match表达式含义的完整和准确的描述?
# let rec sort lst =
# match lst with
# [] -> []
# | head :: tail -> insert head (sort tail)
# and insert elt lst =
# match lst with
# [] -> [elt]
# | head :: tail -> if elt <= head then elt :: lst else head :: insert elt
我正在尝试使用case语句过滤出一些字符串。
case $HOST in
Linux|Windows|Storage*)
我想过滤掉具有如下名称的主机
test_prd_linux
test_prd_windows
如何将*prd*包含在上述case状态中?像这样吗?
case $HOST in
Linux|Windows|Storage|*prd*)
好的,在稍微修改一下并安装了debug_toolbar之后,这个问题在删除下面一行后消失了,
urlpatterns = patterns('',
# some other patterns
url(r'^(?P<tag_name>.+)/$','myapp.views.tag_details',name = 'tag_details'),#<<---
#!!! removing above line solves the problem
) + static(settin
我经常混淆Bash3.x外壳球形:
? # Match any single character.
* # Match any string of characters (up until the asterisk).
[set] # Match any character in set (but not the entire set itself).
[!set] # Match any character not in set.
使用regex (特别是PCRE)。
我的问题是,为什么不把这些看作"Bash“(就像我们有"JavaScript rege
我有一个脚本,寻找名称和搜索与另一个变量的匹配。
但是,如果变量1是"Name Demo“,变量2是"Demo Name”,那么脚本就找不到匹配项。
set nameMatchTXT to ""
if NameOnDevice contains theName then
set nameMatch to theName & " : Name Match"
end if
有没有办法改变这一点,无论顺序如何,都可以找到匹配的?PS脚本正在寻找字的野名,有时处理双位字符,这可能是一个困难的。
例如,以下功能:
fun fac (0 : int) : int = 1
| fac (n : int) : int = n * fac (n - 1)
或在职能方面:
fun even 0 = true
| even x = odd(x-1)
and odd 0 = false
| odd x = even(x-1);
我对ML几乎没有经验,我只是想了解基本知识。
使用perl一样的正则表达式语法,您可以使用修饰符和#字符对注释进行内嵌注释,但是如果我使用/x并由于样式原因使用#作为分隔符,那么有什么方法可以进行注释呢?
preg_replace("/foo # This is a comment\n/x", "bar","foobar")
工作,但
preg_replace("#foo # This is a comment\n#x", "bar","foobar")
//、/**/和我尝试过的任何常见评论序列都不起作用。
Lorem ipsum dolor同坐,你好,敬而远之。野黄花,鸟巢中的口服液同坐,外阴在夜间。[医]玻璃体超临界。在准圆环中,不和不和。[医][医]大皂甙纳米尼斯,梅图斯在小茴香中,你好马萨尼西外阴腐女,金红花不长。水母在狮子座聚积。Nunc neque mauris,vehicula eget malesuada a,non前庭这是一种很好的方法。大洋洲,埃莱芬德的车辆在,阿利库姆在多洛。在et tellus nec metus volutpat中。你好啊,你好啊,在车里放一束,放一条鱼。野黄花,无外阴苔藓,小茴香,小茴香等。整型奶油状的苏打啤酒。在阿尔古,欧洲,欧洲,锡矿,沙雷在塞姆。
假设我有一个名为testfile.txt的测试文件,它包含以下行:
one (two) "three"
我想使用PowerShell来表示,如果整个字符串存在,那么将一行直接放在它下面,其值如下:
four (five) "six"
(请注意,它包括空格、括号和双引号。这是很重要的,因为我遇到的问题是我认为摆脱括号和双引号)。
因此,结果将是:
one (two) "three"
four (five) "six"
我认为最简单的方法是,如果找到了第一个字符串,将其替换为第一个字符串本身,新字符串将形成一个包含在同一命令中的新
对于自动机算法,我需要一个函数式语言的快速Union-Find数据结构。因为我需要正式地证明数据结构的正确性,所以我更喜欢简单的结构。
我要做的是计算集合S w.r.t.中元素的等价类。关系R ⊆ S × S。最后,我想要得到的是一些函数f: S → S,它将S的任何元素映射到它的R-equivalence类的(规范的)表示。所谓“规范”,我的意思是,我不关心它是哪个代表,只要对于一个等价类的所有元素都是相同的,即我希望f x = f y ⟺ (x,y) ∈ R保持。
在函数式语言中,最好的数据结构和算法是什么?我应该补充的是,我真的需要“普通”的函数代码,即没有可变性/状态转换器monad。
我经常看到调用gsub函数时,模式参数被括在正斜杠中。例如:
>> phrase = "*** and *** ran to the @@@."
>> phrase.gsub(/\*\*\*/, "WOOF")
=> "WOOF and WOOF ran to the @@@."
我想这可能与转义星号有关,但使用单引号和双引号同样有效:
>> phrase = "*** and *** ran to the @@@."
>> phrase.gsub('***',
我在一些教程中读到if a then b else c代表match a with true => b | false => c end。但是,前者非常奇怪地不检查a的类型,而后者当然确保a是一个布尔值。例如,
Coq < Check if nil then 1 else 2.
if nil then 1 else 2
: nat
where
?A : [ |- Type]
Coq < Check match nil with true => 1 | false => 2 end.
Toplevel input, characters 33-
我试图使用上一行的列表(tmp)生成pascal三角形,并希望计算列表的大小并与本例进行匹配,如下所示:
(* b is the index pos I'm generating at the moment *)
(* I need a function I can pass into another function, so the case must evaluate at runtime *)
fun b -> match b with
| 0 -> 1
| List.length tmp -> 1
| _ -> (* Ignore this part
我正在使用preg_match_all在推特搜索响应中搜索HashTag值。
它的工作方式和我预期的一样,除了搜索结果中没有任何散列值的时候。由于某些原因,我的$tags数组仍然有值,我不确定为什么。
是因为我的RegEx不正确,还是preg_match_all有问题?
谢谢
$tweet = "Microsoft Pivot got Runner-Up for Network Tech from The Wall Street Journal in 2010 Technology Innovation Awards http://bit.ly/9pCbTh";
priva