Is the union of finitely many open sets in an omega-cover contained within
some member of the cover?
Let $\mathcal{U}$ be an open cover of $\mathbb{R}$ (Standard Topology)
such that $\mathbb{R} \not \in \mathcal{U}$ and for any finite set $A$
there is a $U \in \mathcal{U}$ such that $A \subseteq U$. We call such an
open cover an $\omega$-cover. Can we show that for any finite set $B
\subset \mathcal{U}$, there is a $V \in \mathcal{U}$ such that $\cup B
\subseteq V$?
Ultimately I'm working on showing the following. Let $\langle
\mathcal{U}_n: n \in \mathbb{N} \rangle$ be a sequence of $\omega$-covers.
Can we find a sequence $\langle F_n: n \in \mathbb{N} \rangle$ with each
$F_n \in \mathcal{U}_n$ such that $\cup F_n$ is an open cover of
$\mathbb{R}$?
My approach here was to use each $\mathcal{U}_n$ to cover $[-n,n]$, thus
eventually covering all of $\mathbb{R}$. Since $[-n,n]$ is compact and
$\mathcal{U}_n$ is a cover, $\mathcal{U}_n$ has a finite subcover. But
that's as far as I can get unless what I conjectured above is true.
Monday, 30 September 2013
Can literals in Python be overridden=?iso-8859-1?Q?=3F_=96_stackoverflow.com?=
Can literals in Python be overridden? – stackoverflow.com
Couldn't find a way to phrase the title better, feel free to correct. I'm
pretty new to Python, currently experimenting with the language.. I've
noticed that all built-ins types cannot be extended …
Couldn't find a way to phrase the title better, feel free to correct. I'm
pretty new to Python, currently experimenting with the language.. I've
noticed that all built-ins types cannot be extended …
textbox in continuous form populated from different table
textbox in continuous form populated from different table
I have a continuous form in an access 2010 database that outputs a
separate row of data for each customer from a customers_table. The
continuous form is for data display only, and no data entry or editing is
allowed. One of the textboxes on the continuous form is populated with
data that was entered using a combobox in a different form used for data
entry. In the textbox on the continuous form, enabled is set to no, and
locked is set to yes, so that the textbox is not editable in the
continuous form. However, in the separate data entry form, the combobox
entered the id for the selection the user chose, instead of entering the
text. Therefore, in the continuous form, only an id number is shown, when
the user needs to see the text of the specific option which is encoded in
that id number.
I think I want to keep the id in the customers data table, in order to
retain freedom to make subtle changes in the combobox options later.
So how do I modify the textbox in the continuous form to populate with the
textual value associated with the id number? This would seem to involve
some sort of SQL like:
"Select textValue FROM comboboxsource_table WHERE
comboboxsource_table.ID=textbox.Text"
However, I have no idea where to put this in the Access GUI. The Control
Source field in the Data tab of the property sheet for the textbox does
not seem to allow this sort of syntax.
I have a continuous form in an access 2010 database that outputs a
separate row of data for each customer from a customers_table. The
continuous form is for data display only, and no data entry or editing is
allowed. One of the textboxes on the continuous form is populated with
data that was entered using a combobox in a different form used for data
entry. In the textbox on the continuous form, enabled is set to no, and
locked is set to yes, so that the textbox is not editable in the
continuous form. However, in the separate data entry form, the combobox
entered the id for the selection the user chose, instead of entering the
text. Therefore, in the continuous form, only an id number is shown, when
the user needs to see the text of the specific option which is encoded in
that id number.
I think I want to keep the id in the customers data table, in order to
retain freedom to make subtle changes in the combobox options later.
So how do I modify the textbox in the continuous form to populate with the
textual value associated with the id number? This would seem to involve
some sort of SQL like:
"Select textValue FROM comboboxsource_table WHERE
comboboxsource_table.ID=textbox.Text"
However, I have no idea where to put this in the Access GUI. The Control
Source field in the Data tab of the property sheet for the textbox does
not seem to allow this sort of syntax.
Deserialize Xml with RestSharp
Deserialize Xml with RestSharp
I'm having problems getting RestSharp to deserialize some XML
this is a sample of the xml
<data xmlns:xlink="http://www.w3.org/1999/xlink">
<parameters xmlns="">
<query-strings>
<query-string value="testValue"></query-string>
</query-strings>
<sources>
<source id="database"></source>
</sources>
</parameters>
<objects>
<object xmlns="" type="testType">
<source id="database"></source>
</object>
<object xmlns="" type="testType">
<source id="database2"></source>
</object>
<object xmlns="" type="testType">
<source id="database3"></source>
</object>
</objects>
</data>
Below is the Class that I'm trying to deserialize to
public class Data
{
public Parameter Parameters { get; set; }
}
public class Parameter
{
public string InverseLookup { get; set; }
public string TypeFilters { get; set; }
public List<QueryString> QueryStrings { get; set; }
public List<Source> Sources { get; set; }
public List<Item> objects { get; set; }
}
public class QueryString
{
public string value { get; set; }
}
public class Source
{
public string Id { get; set; }
}
public class Item
{
public string Type { get; set; }
public Source Source { get; set; }
}
The problem that I have is the objects element, I just can't seem to get
this to deserialize. Does anyone have any idea what's going on?
I'm having problems getting RestSharp to deserialize some XML
this is a sample of the xml
<data xmlns:xlink="http://www.w3.org/1999/xlink">
<parameters xmlns="">
<query-strings>
<query-string value="testValue"></query-string>
</query-strings>
<sources>
<source id="database"></source>
</sources>
</parameters>
<objects>
<object xmlns="" type="testType">
<source id="database"></source>
</object>
<object xmlns="" type="testType">
<source id="database2"></source>
</object>
<object xmlns="" type="testType">
<source id="database3"></source>
</object>
</objects>
</data>
Below is the Class that I'm trying to deserialize to
public class Data
{
public Parameter Parameters { get; set; }
}
public class Parameter
{
public string InverseLookup { get; set; }
public string TypeFilters { get; set; }
public List<QueryString> QueryStrings { get; set; }
public List<Source> Sources { get; set; }
public List<Item> objects { get; set; }
}
public class QueryString
{
public string value { get; set; }
}
public class Source
{
public string Id { get; set; }
}
public class Item
{
public string Type { get; set; }
public Source Source { get; set; }
}
The problem that I have is the objects element, I just can't seem to get
this to deserialize. Does anyone have any idea what's going on?
Sunday, 29 September 2013
How do I choose random objects of the same type from a vector array of differing types?
How do I choose random objects of the same type from a vector array of
differing types?
Let's say for example a vector is composed of some objects, one of type
rectangle, some of type triangle, and then circles.
v = [rectangle, triangle, triangle, circle, circle]
The vector's size can change. I can add another circle as so:
v.addElement(circle);
and..
v = [rectangle, triangle, triangle, circle, circle, circle]
but each object type is clustered together like above. It can't be like:
v = [rectangle, circle, circle, triangle, circle, triangle] //<-- can't be.
I know I explained it pretty horrible but hopefully, it's enough to
understand my scenario. Now, I want to randomly choose, for example, an
object of type circle.
My thought process is to make a separate method that 1, finds the
beginning index and 2, find the ending index and then use random functions
off of that. Is there a more elegant way to solve this problem of only
choosing randomly off of circles?
differing types?
Let's say for example a vector is composed of some objects, one of type
rectangle, some of type triangle, and then circles.
v = [rectangle, triangle, triangle, circle, circle]
The vector's size can change. I can add another circle as so:
v.addElement(circle);
and..
v = [rectangle, triangle, triangle, circle, circle, circle]
but each object type is clustered together like above. It can't be like:
v = [rectangle, circle, circle, triangle, circle, triangle] //<-- can't be.
I know I explained it pretty horrible but hopefully, it's enough to
understand my scenario. Now, I want to randomly choose, for example, an
object of type circle.
My thought process is to make a separate method that 1, finds the
beginning index and 2, find the ending index and then use random functions
off of that. Is there a more elegant way to solve this problem of only
choosing randomly off of circles?
Trying to ignore files that begin with a "." but script not working
Trying to ignore files that begin with a "." but script not working
Got a question that hopefully is just me doing a stupid mistake.
I have a script where I'm searching for specified mxf files. At the same
time I'm try ignore files beginning with a period (.) because those are
the hidden files that I don't need to search. I'm not sure what I'm doing
wrong with the script. I keep getting an error when my script searches the
drive and runs into a file or folder that I do not have permission for and
was trying to ignore. Can anyone help? The script is below.
echo Searching for digitized INTV footage...
find /Volumes/TestingTranscode* \
-type f \( \
-iname "*V01.*.mxf" ! \
-iname "Avid_Mob*" ! \
-iname ".*" ! \
-ipath "*Creating*" \
\) \
-exec
/Users/admin/TestingTranscode/01_BashScripts/postfind_gw_digitize.sh
{} \;
Got a question that hopefully is just me doing a stupid mistake.
I have a script where I'm searching for specified mxf files. At the same
time I'm try ignore files beginning with a period (.) because those are
the hidden files that I don't need to search. I'm not sure what I'm doing
wrong with the script. I keep getting an error when my script searches the
drive and runs into a file or folder that I do not have permission for and
was trying to ignore. Can anyone help? The script is below.
echo Searching for digitized INTV footage...
find /Volumes/TestingTranscode* \
-type f \( \
-iname "*V01.*.mxf" ! \
-iname "Avid_Mob*" ! \
-iname ".*" ! \
-ipath "*Creating*" \
\) \
-exec
/Users/admin/TestingTranscode/01_BashScripts/postfind_gw_digitize.sh
{} \;
How to get pip to work behind a proxy server
How to get pip to work behind a proxy server
I am trying to use python package manager pip to install a package and
it's dependencies from the internet. However I am behind a proxy in my
college and have already set the http_proxy environment variable. But when
I try to install a package like this:
pip install TwitterApi
I get this error in the log file:
Getting page http://pypi.python.org/simple/TwitterApi
Could not fetch URL http://pypi.python.org/simple/TwitterApi: <urlopen
error [Errno 111] Connection refused>
Will skip URL http://pypi.python.org/simple/TwitterApi when looking for
download links for TwitterApi
Getting page http://pypi.python.org/simple/
Could not fetch URL http://pypi.python.org/simple/: <urlopen error [Errno
111] Connection refused>
I even tried setting my proxy variable explicitly like this:
pip install --proxy http://user:password@proxyserver:port TwitterApi
But I still get the same error. How do I get pip to work behind a proxy
server.
I am trying to use python package manager pip to install a package and
it's dependencies from the internet. However I am behind a proxy in my
college and have already set the http_proxy environment variable. But when
I try to install a package like this:
pip install TwitterApi
I get this error in the log file:
Getting page http://pypi.python.org/simple/TwitterApi
Could not fetch URL http://pypi.python.org/simple/TwitterApi: <urlopen
error [Errno 111] Connection refused>
Will skip URL http://pypi.python.org/simple/TwitterApi when looking for
download links for TwitterApi
Getting page http://pypi.python.org/simple/
Could not fetch URL http://pypi.python.org/simple/: <urlopen error [Errno
111] Connection refused>
I even tried setting my proxy variable explicitly like this:
pip install --proxy http://user:password@proxyserver:port TwitterApi
But I still get the same error. How do I get pip to work behind a proxy
server.
Subscribe to:
Posts (Atom)